Ingénieur Validation Méthode Formelle (H/F)

Description du poste

Au sein de l’entité Transport Terrestre et du département Ferroviaire, vous intégrerez l’équipe de développement des systèmes de conduite automatique de métro.

Votre mission consistera à analyser les spécifications fonctionnelles des systèmes, les traduire sous la forme d’un modèle formel, prouver ce modèle et générer à partir de ce dernier les applications sécuritaires.

Les tâches principales seront :

• D’assurer la traçabilité et la couverture des exigences du logiciel ainsi que la vérification des modèles formels réalisés ;
• De valider les preuves des règles mathématiques ;
• D’analyser des logiciels bas niveau et applicatifs sécuritaires ;
• D’identifier et analyser les non-conformités ;
• De suivre l’avancement et la planification des travaux auprès des sous-traitants

Qualifications

Diplômé(e) d’une école d’ingénieurs ou d’une équivalence (Bac+5), vous possédez au minimum une première expérience dans le domaine de la sûreté logicielle ou dans l’utilisation et l’application de la méthode formelle, idéalement dans le secteur ferroviaire.

La connaissance de la méthode B est un plus, un niveau d’anglais opérationnel est requis.

Proactif(ve) et doté(e) d’une grande autonomie, vous souhaitez acquérir de nouvelles compétences,

Informations supplémentaires

Le secteur ferroviaire vous attire ? Vous êtes une personne rigoureuse avec une forte capacité d’adaptation ? Travailler dans un environnement exigeant mais stimulant ne vous fait pas peur ? Vous souhaitez bénéficier de formation sur le terrain, monter en compétences et participer à la réalisation d’un projet ambitieux alors embarquez pour l’aventure !