Cette offre n'est plus disponible
Cette offre a expire le 20/09/2026. Elle n'accepte plus de candidatures.
Ingénieur Recherche – Analyseur statique Salto (OCaml)
beyond-tabs.com · Rennes
Description du poste
À 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
Pourquoi signalez-vous cette offre ?
Aller plus loin
Salaires, guides et recherches en France.
Salaires par métier
- 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) 13
- 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
- Conducteur de ligne H/F 8
Une question sur cette offre ?
Posez-la ici : vous recevrez le récapitulatif de l'offre par e-mail, tout de suite.
Publie il y a 2 mois
9 vues · 0 interesses
Boostez vos chances
Importez votre CV : nous vous proposons les offres qui matchent votre profil.
Analyse de votre CV en cours...
beyond-tabs.com
Rennes