Inria's Épicure research team is looking for a talented research engineer to contribute to the Salto project, a static analyser for OCaml programs. The Salto analyser is an abstract interpreter that detects in OCaml programs possibly uncaught exceptions, non-satisfied assertions, integer overflows, and undefined behaviours.
As a research engineer in Épicure, you will work in a team of talented students an researchers, who contribute to the state of the art on the topics of program verification, static analysis, programming language semantics, and compiler verification.
This two-year position is funded by a bilateral contract between Lexifi and Inria.
The starting date of the position can be discussed and adjusted with the candidate.
