Ingénieur Méthodes Formelles - B Method & Outils

CLEARSY recherche un ingénieur Méthodes Formelles F/H pour modéliser et développer des systèmes utilisant la méthode B et réaliser les outils correspondants. Vous intégrerez le contexte du Centre de compétences et de formation sur la méthode B et contribuerez à des projets de R&D.

Profil: ingénieur Bac+5, passionné par les mathématiques et l'informatique, postes évolutifs et polyvalents au sein d'une PME de 150 personnes réparties sur plusieurs sites.