Dear OCaml folks,
as part of a project between Inria and Lexifi, we are offering a 2-year research engineer or postdoc position, to work on the Salto static analyser for OCaml programs.
The position can start anytime from spring 2026, and is located in the Épicure Inria research team, in the vibrant city of Rennes, France.
If you have successfully defended a Ph.D. in computer science, and you are acquainted with the topic of static analysis, please contact me!
Experience with programming in OCaml or in another functional language is strongly recommended.
If you want to know more about this position, please have look at the detailed job description, and contact me!
Please feel free to transfer this announce to people that you think could be interested.