Overview
Research Engineer developing the Salto static analyzer for OCaml programs. OCaml with abstract interpretation, focusing on exception detection, integer overflow, and undefined behavior analysis.
Key Information
- Seniority Level
- Mid-level+
- Locations
-
🇫🇷
Rennes, France
- Remote Friendly
- No
- Languages
- OCaml