Ingénieur méthodes formelles H/F

Réf. 619255 - publié le 17 avril 2024

Informations générales

Missions

Hitachi Rail vous propose une offre d'alternance dans les domaines Informatique, télécommunications, Sciences, techniques industrielles, Transport, logistique, Informatique,... à Les Ulis.

Dans le cadre du projet de rénovation des systèmes d’enclenchement de signalisation ferroviaire en France, vous participez à la vérification formelle des systèmes d’enclenchement. Les activités de vérification formelle se déroulent dans un environnement méthodologique (EN50128). Vous intégrez le service Commissioning & Validation en charge de la validation, vérification et mise en service des systèmes sol de signalisation ferroviaire. Dans ce cadre, vos missions sont:

- Mettre à jour l’environnement de la vérification formelle en langage HLL et le maintien de la documentation de conception à jour
- Analyser et comprendre le fonctionnel de l’enclenchement afin de modéliser l’environnement de la vérification formelle
- Lancer des campagnes de vérification formelle et analyser les résultats

Profil

Vous êtes étudiant en 3ème année de cycle d’ingénieur avec une spécialité informatique. Ce poste requiert :

- Une connaissance des méthodes formelles
- Des connaissances en développement logiciel : Python, HLL, Xml …
- Une capacité d’analyse des systèmes complexes
- De la rigueur, une organisation et une autonomie
- Un niveau de français et d’anglais, courant et technique, qui vous permet d’évoluer aisément dans notre environnement international et industriel

Postuler

Nom du recruteur : Ghizlane HAJNY, Lachaud Léa