Au sein de l'équipe R&D en charge du développement et de la validation de nos générateurs de code certifiés, vous avez pour missions:

-        La spécification et le développement de tests de bas niveaux écrits en OCAML

-        La mise à jour du référentiel documentaire du projet et la participation aux activités de vérification

Le poste est basé au sein de notre équipe de Toulouse, de Paris ou de Villeneuve-Loubet et est à pourvoir en CDD (9 mois) avec la possibilité d’être reconduit en CDI.

Profil du candidat:

-        Formation en informatique : pas d'exigence sur la formation initiale, le candidat sera jugé sur ses compétences en programmation

Compétences Requises:

-        Bonne pratique de la programmation

-        Connaissance du langage OCaml

-        Bon niveau d’Anglais