POSTE : Ingénieur Méthodes Formelles H/F DESCRIPTION : 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 PROFIL : 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 à coeur d'entretenir. Les postes à CLEARSY sont évolutifs et polyvalents.