Inria is a research institute dedicated to promoting ‘scientific excellence in the service of technology transfer and society as a whole’. Inria employs a staff of 2700, drawn from the world’s most prestigious universities, to address the latest challenges in computer science and mathematics. The Institute operates eight Research Centres throughout France. The Inria Lille - Nord Europe Research Centre was founded in 2008 and employs a staff of 360, including 300 scientists working in sixteen research teams. Recognised for its outstanding contribution the socio-economic development of the Nord - Pas-de-Calais Region, the Inria Lille - Nord Europe Research Centre undertakes research in the field of computer science in collaboration with a range of academic, institutional and industrial partners. The strategy of the Centre is to develop an internationally renowned centre of excellence with a significant impact on the City of Lille and its surrounding area. It works to achieve this by pursuing a range of ambitious research projects in such fields of computer science as the intelligence of data and adaptive software systems. Building on the synergies between research and industry, Inria is a major contributor to skills and technology transfer in the field of computer science.
IDEs (integrated development environment) provides some supporting tools to ease development, such as automatic completion. Now several important tasks are not well covered: for example, merging changes, assessing the tests to automatically rerun, debugging extreme situations,… In addition, they are often based on static type information. The goal of this postdoc is to enhance IDEs for dynamically-typed languages: using multiple approaches: type inferencing, taking advantage of the AST structure, studying the use of examples to produce concrete types. Finally, often tools are inflexible and cannot be adapted to specific domain or projects. New generation tools should support the developers customizing tools to their own workflow and domain following the PhD of A. Chis on Moldable tools.
The goal of this Postdoc is to work on high level IDE on one or more of the following topics:
The candidate should :
Experience with DSLs, IDEs, Models, compilers, code analysis... is a plus.