Research engineer

beyond-tabs.com

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

Comment s'inscrire

Pour postuler à cet emploi, vous devez autoriser sur notre site . Si vous n'avez pas encore de compte, inscrivez-vous.