Descriptif du poste: 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 recherché: 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.