Ingénieur Méthodes Formelles F/H

CLEARSY recherche un(e) ingénieur(e) avec mission de : Modéliser et développer des systèmes et des logiciels avec les méthodes formelles ; Réaliser des outils associés.

Le contexte : Centre de compétences et de formation sur la méthode B, CLEARSY : Participe à des projets de recherche et développement dans le domaine du formel ; Développe les outils liés à l'industrialisation de la méthode B (Atelier B) Réalise des projets industriels intégrant l'utilisation des méthodes formelles ; Développe d…