Ingénieur Méthodes Formelles – Lyon
Is this job for you?
Build my CV Build your CV and see how well you match this role — and every other one.
Track your applications on mobile The free Whileresume app, on iPhone and Android.
The role
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.
See the full job post
Responsibilities, requirements, skills and benefits — create your free account.
or
Already have an account?
Log inYou might also like these jobs
No closely matching jobs yet — here are the most recent ones.
? Technicien d'intervention en équipements de cuisine – Cergy ? Technicien de maintenance machines-outils – Paris ? Technicien de dépannage en équipements électriques ? Technicien informatique confirmé – Paris ? Technicien polyvalent multi sites – Versailles ? Technicien de maintenance radio – Gennevilliers