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 des outils de programmation formelle pour ses systèmes propres
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.
Offre terminée le 24 novembre 2024 à 00:00