[JOB][Postdoc] Advanced Development Tools

Advanced Development Tools for Dynamic Languages

  • Position type: Post-doctoral Fellow
  • Functional area: Lille (Villeneuve d'Ascq)
  • Research theme: Networks, systems and services, distributed computing
  • Project: RMOD
  • Scientific advisor: stephane.ducasse@inria.fr
  • HR Contact: sandrine.catillon@inria.fr
  • Application deadline: 02/04/2017

About Inria and the job

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:

  • recommander systems (following PhD of S. Proksch)
  • automatic completion
  • back in time debugger and scriptable debuggers
  • automatic test selection and execution (following PhD of V. Blondeau)
  • type inferencer for tooling (following work on RoelTyper and PhD of L. Spoon on type inference)
  • advanced refactorings (following PhD of G. Santos)
  • change merging (following PhD of M. Dias)
  • quality insurance (following PhD of Y. Timchuk)

Skills and profile

The candidate should :

  • hold a PhD degree in Computer Science
  • be fluent in English (French is an advantage but not required)
  • have good programming skills

Experience with DSLs, IDEs, Models, compilers, code analysis... is a plus.

More information here...

Posted by admin at 8 March 2017, 2:40 pm link