Descriptif du poste:\n\nCLEARSY recherche un(e) ingénieur(e) avec mission de : \n\nModéliser et développer des systèmes et des logiciels avec les méthodes formelles ; \nRéaliser des outils associés. \n \nLe contexte :\n\nCentre de compétences et de formation sur la méthode B, CLEARSY : \n* Participe à des projets de recherche et développement dans le domaine du formel ; \n* Développe les outils liés à l'industrialisation de la méthode B (Atelier B) \n* Réalise des projets industriels intégrant l'utilisation des méthodes formelles ; \n* Développe des outils de programmation formelle pour ses systèmes propres. \n\n\nProfil recherché:\n\nVous :\n\nIngénieur(e) de formation Bac + 5, grandes écoles ; \nPassionné(e) de mathématiques et d'informatique ; \n \nVous vous reconnaissez dans nos valeurs que vous aurez à coeur d'entretenir. Les postes à CLEARSY sont évolutifs et polyvalents. \n