Research engineer
Mid-level+
🇫🇷
Rennes, France
Research Engineer developing the Salto static analyzer for OCaml programs. OCaml with abstract interpretation, focusing on exception detection, integer overflow, and undefined behavior analysis.
OCaml
Verified Mar 30, 2026
View listing