INGENIEUR SURETE DE FONCTIONNEMENT LOGICIEL (H/F)

Société

Siemens Industry Sector

Premier groupe européen de haute technologie, Siemens est présent en France depuis  plus de 160 ans. 
Anticipant les grandes tendances de notre société que sont l'augmentation de la population, l'urbanisation croissante et la nécessaire protection de l'environnement, nous donnons la priorité à l'innovation dans l'industrie, l'énergie et la santé. 

Poste

Au sein de notre Direction Technique et de notre Activité Sûreté de fonctionnement, vous assurez les études de sûreté logiciels relatives aux invariants. Vous effectuez la maintenance de l'outil de validation des invariants. Vous validez les données saisies, les propriétés des invariants avec la méthode B (preuve de propriétés avec l'atelier B) et les invariants sécuritaires obtenus avec l'outil et les ocntrôles manuels.

Profil

De formation Ingenieur généraliste, vous disposez de 3 ans d'expérience dans le développement, la validation ou la sûreté de systèmes complexes au sein d'une activité similaire ou idéalement dans le domaine ferroviaire. Vous avez la volonté de rejoindre un environnement innovant et international. Doté d'un esprit synthétique et rigoureux, vous êtes reconnu pour vos capacités relationnelles et votre dynamisme. Vous êtes mobile. Vous maîtrisez l'anglais.