This job is no longer available
This job expired on 20/09/2026. It no longer accepts applications.
Ingénieur Recherche – Analyseur statique Salto (OCaml)
beyond-tabs.com · Rennes
Job description
À propos du poste
Nous recherchons un ingénieur recherche pour développer Salto, un analyseur statique dédié aux programmes OCaml. Vous travaillerez sur l’interprétation abstraite afin de détecter les exceptions, les dépassements d’entiers et les comportements indéfinis.
Missions principales
- Concevoir et implémenter les algorithmes d’analyse statique basés sur l’interprétation abstraite.
- Écrire, tester et valider des modules de détection d’exceptions, de débordements d’entiers et de comportements indéfinis.
- Collaborer avec l’équipe de développement pour intégrer Salto dans les pipelines de CI/CD.
- Rédiger la documentation technique et les rapports de résultats d’analyse.
Profil recherché
- Formation supérieure en informatique ou domaine équivalent.
- Expérience intermédiaire (mid‑level) en développement logiciel, idéalement sur des projets de compilation ou d’analyse statique.
- Capacité à travailler de façon autonome et à résoudre des problèmes complexes.
Compétences requises
- OCaml
Questions fréquentes
Why are you reporting this job?
Explore further
Salaries, guides and searches in France.
Salaries by job title
- Aide ménager / aide ménagère (H/F) – CDI temps partiel 25
- Employé(e) de ménage – CDI temps partiel 23
- Employé(e) de ménage à temps partiel 13
- Technicien de Maintenance Industrielle H/F 5
- Employé(e) de ménage à domicile 12
- Aide ménager / ménagère à domicile (H/F) 11
- Employé(e) de ménage – Temps partiel 9
- Employé(e) de ménage à domicile (H/F) 8
A question about this job?
Ask it here: you will get the full job summary by e-mail, right away.
Boost your chances
Upload your CV — we will match you with relevant openings.
Analyzing your CV...
beyond-tabs.com
Rennes
Related job offers
-
Consultant Système (F/H)
DE GRAET CONSULTING Rennes -
Consultant CRM (H/F)
MICHAEL PAGE INTERNATIONAL FRANCE Rennes -
Architecte Logiciel F/H
Groupe Talents Handicap Rennes -
Multiples postes temps partiel – divers métiers
POK SAS -
Architecte de Solution et d'Intégration
act digital EMEA - Alter Solutions Meyrin