D'ici 2050, près de 70 % de la population mondiale vivra en ville. Pour répondre aux enjeux de mobilité urbaine durable, Siemens Mobility conçoit les trains et systèmes de signalisation qui dessinent la mobilité de demain : connectée, décarbonée et fluide.
De la ligne 14 à Paris aux lignes de Riyadh ou New York, nos technologies rendent déjà les transports plus intelligents, sûrs et accessibles.
Chaque jour, nous réduisons l'empreinte carbone de millions de trajets, une réussite portée par la diversité des profils présents dans notre entreprise.
Et ce n'est qu'un début.
Rejoignez-nous et venez mettre votre talent au service des mobilités de demain et d'un futur plus responsable.
En tant qu'Apprenti Ingénieur Sûreté de Fonctionnement Logiciel, vous intégrerez nos équipes dédiées aux systèmes de pilotage automatique CBTC. Vous participerez activement à l'application et à l'amélioration des méthodes d'analyses sécuritaires, notamment les méthodes formelles, pour garantir la fiabilité et la conformité de nos logiciels critiques.
Vos missions, si vous les acceptez :
- Découvrir et vous approprier les méthodes d'analyses sécuritaires appliquées aux logiciels CBTC.
- Vous initier et monter en compétences sur les méthodes formelles, en particulier la méthode B, et leur utilisation dans un contexte industriel.
- Participer à la modélisation formelle de fonctions logicielles et à l'analyse des propriétés de sûreté associées.
- Contribuer à l'amélioration des processus existants liés aux analyses sécuritaires et à la validation des logiciels.
- Participer activement à la validation des systèmes, incluant revues techniques, vérification de cohérence des modèles et justification de la sûreté.
- Interagir avec les équipes logiciel, système et sûreté afin de faciliter l'intégration des méthodes formelles dans le cycle de développement.
Alternance à pourvoir à Chatillon pour 1 à 3 ans.
Le profil qui nous inspire :
Vous êtes étudiant(e) en école d'ingénieur ou master universitaire, préparant un diplôme de niveau Bac +5, dans le cadre d'un contrat d'apprentissage. Vous avez une formation ou un intérêt marqué pour le développement logiciel, les systèmes critiques ou la sûreté de fonctionnement, ainsi que pour les méthodes formelles, les analyses sécuritaires et le langage formel. Votre rigueur, votre esprit d'analyse, votre autonomie et votre curiosité intellectuelle sont des atouts majeurs. Vous faites preuve d'un bon relationnel et d'une capacité à travailler avec de nombreux interlocuteurs techniques. Un anglais courant est indispensable pour évoluer dans notre environnement international. Des connaissances préalables en méthode B ou en logique formelle constituent un plus, sans être indispensables.
Construisez l'avenir avec nous. Postulez dès à présent !
Nous valorisons la diversité des parcours, des identités et des talents comme moteur d'innovation et de performance. Nous nous engageons à offrir à chacun des opportunités équitables et un accès juste au développement professionnel, en supprimant toute barrière, quels que soient l'origine, le genre, l'âge ou la situation de handicap.
Pour les candidats en situation de handicap, nous adaptons notre processus de recrutement. Pour un accompagnement personnalisé lors de votre candidature, contactez notre référent Mission Handicap :
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.