Ma mission principale est de contribuer à la vérification et la validation des systèmes critiques (particulièrement les systèmes ferroviaires) par le biais des méthodes formelles. Travaillant dans le cadre de projets ferroviaires innovants en collaboration avec les industriels du domaine ferroviaire, mes tâches s'articulent autour de :• La modélisation formelle (en B système) des besoins d'une part et de l'architecture d'autre part (sur différents niveaux d'un cycle de vie d'un système) exprimés initialement par des spécification informelles/textuelles ou par des spécifications semi-formelles (UML, SysML, Capellla, etc.) ;• La vérification formelle par preuve de théorèmes et par model checking ainsi que la validation par animation (prototypage rapide) ;• La contribution à des propositions de nouvelles méthodologies (techniques et scientifiques) basées sur les spécifications semi-formelles et les spécifications formelles dans le but de mettre en avant les activités de modélisation et de V&V des systèmes critiques. Par ailleurs, je participe aux activités de management d'une équipe d'ingénieurs en méthodes formelles et d'ingénieurs en modélisation système :• Participer aux différentes réunions de coordination de projet ;• Communiquer les résultats de ce travail aux partenaires du projet (présentations, groupes de travail, revues d'avancement, etc.) ;• Contribuer à la rédaction de livrables et de publications scientifiques ;• Encadrer des thèses de doctorats en collaboration avec les académiques;• Appuyer les chefs des projets pour l’identification et le montage de nouveaux projets, le suivi et la bonne conduite des projets en cours.