Ingénieur Méthodes Formelles – Lyon

L'ingénieur méthodes formelles a pour mission de modéliser et développer des systèmes logiciels en utilisant des méthodes formelles et de réaliser les outils associés. Il intervient dans un centre de compétences et de formation dédié à la méthode B, participant à des projets de recherche et de développement dans ce domaine. Il assure le développement d'outils liés à l'industrialisation de la méthode B ainsi qu'à la programmation formelle pour des projets industriels. Les responsabilités incluent la conception, la modélisation, le développement et la validation de systèmes complexes en respectant les normes du secteur. La maîtrise des outils et techniques de modélisation formelle, ainsi que des langages et outils spécifiques comme Atelier B, est essentielle. L'environnement technique est orienté vers l'ingénierie logicielle avancée et la recherche appliquée.