Ingénieur Informatique H/F

Nous recherchons des ingénieurs pour participez à : La réalisation des projets industriels intégrant l'utilisation d'une méthode formelle Au développement d'outils liés à l'industrialisation de la méthode B : Atelier B (Outil sous Linux dont certains composants sont Open Sources) La réalisation des outils logiciels et des logiciels d'administration de systèmes. De la spécification du code, de la définition des tests à la validation, vous interviendrez sur les phases de développement du projet j…