Research engineer / Static analysis of OCaml programs

INRIA • Rennes, Brittany, France • Posted June 03, 2026

Location Rennes, Brittany

Job Type CDD

Category Engineers

Posted June 03, 2026

Contexte et atouts du poste
Inria's Lexifi and 
Mission confiée
As research engineer, you will contribute to the development of the 
Principales activités
Some more specific goals of this position comprise:
Upgrading the implementation to support the abstract syntax tree of the 5.X versions of OCaml

Improving the interval analysis to also track congruences

Enabling the possibility to analyse specific functions, instead of analysing whole programs only

Conducting experiments to measure the efficiency and the precision of the analyser
Compétences
The candidate will hold a Ph.D. degree in computer science, and will be acquainted with the topic of static program analysis, and abstract interpretation in particular.
 Experience with developing applications in OCaml or in another functional language is highly recommended. Intimate knowledge ...
            

Interested in this role?

Click the button below to start your application.

Apply Now