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 Lang