OCaml Research Engineer – Static Analysis Pioneer

il y a 5jours Faites partie des 25premiers candidats

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

Niveau hiérarchique

• Premier emploi

Type d’emploi

• Fonction: Ingénierie et Technologies de l’information

Secteurs

• Technologie, information et Internet

Les recommandations augmentent vos chances d’obtenir un entretien chez beyond-tabs.com

Recevez une notification lorsqu’une nouvelle offre d’emploi est publiée.

Docteur en Simulation numérique & IA – H/F

Ingénieur·e/Post-doc Développement et optimisation de l’outil PREESM

Ingénieur évaluation software H/F - (KSC/CHW/ )

Ingénieur de recherche à 80% de Jour au sein du service Living Lab Vieillissement et Vulnérabilités de la Direction de la Recherche et de l’Innovation F/H

Ingénieur cyberdéfense – Analyste Reverse Engineering Expérimenté

PHD : Exploration probabiliste de l\'espace de conception multi-objectifs pour les systèmes embarqués via des modèles de flux de données