Ingénieur Méthodes Formelles H/F

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 des outils de programmation formelle pour ses systèmes propres.
  

Vous :

Ingénieur(e) de formation Bac + 5, grandes écoles ;
Passionné(e) de mathématiques et d’informatique ;

Vous vous reconnaissez dans nos valeurs que vous aurez à cœur d’entretenir. Les postes à CLEARSY sont évolutifs et polyvalents.