Internship - Formal Verification - Railway Signalling Systems F/M

At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling, and digital mobility, we offer our diverse customers the broadest portfolio in the industry. Every day, 80,000 colleagues lead the way to greener and smarter mobility worldwide, connecting cities as we reduce carbon and replace cars.

Could you be the full-time Intern in Formal Verification - Railway Signalling Systems in we’re looking for?

Your future role

Take on a new challenge and apply your expertise in formal methods and modelling in a cutting-edge field. You’ll work alongside a collaborative, innovative, and passionate team.

You'll play a key role in continuously improving safety processes in our railway projects. Day-to-day, you’ll work closely with teams across the business (formal methods, design, and development teams), contribute to enhancing safety verification processes, and support their deployment across Alstom’s global solutions.

You’ll specifically take care of formulating and modelling safety properties for our interlocking subsystems, but also translating and implementing formal models to ensure performance and accuracy.

We’ll look to you for:

• Formulating safety properties for interlocking subsystems

• Modelling safety properties and the environment of interlocking subsystems

• Translating models into a specific formal language (High-Level Language)

• Implementing and debugging proofs of predefined safety properties

• Identifying counterexamples and clarifying blockers with design teams

• Contributing to continuous improvement processes through feedback

• Actively participating in the dissemination and optimization of these processes for other Alstom solutions globally

• Collaborating with experts and multidisciplinary teams to achieve common goals

All about you

We value passion and attitude over experience. That’s why we don’t expect you to have every single skill. Instead, we’ve listed some that we think will help you succeed and grow in this role:

• Currently pursuing a Master’s degree (Bac+5) in engineering with a specialization in formal methods, automation, computer science, information technology, or safety (FDMS)

• Experience or understanding of modelling tools (e.g., Scade, Matlab, or others)

• Knowledge of complex embedded systems or safety processes

• Familiarity with formal languages or mathematical modelling tools

• An interest in logic and curiosity for learning new methods

• Ability to work in a team with dynamism and rigor

• Fluency in French and a minimum B2 level in English

Things you’ll enjoy Join us on a life-long transformative journey – the rail industry is here to stay, so you can grow and develop new skills and experiences throughout your career. You’ll also:

• Enjoy stability, challenges, and a long-term career free from boring daily routines

• Work with passionate and committed experts in formal methods

• Collaborate with transverse teams and qualified colleagues

• Contribute to innovative projects shaping the future of sustainable mobility

• Utilise our collaborative and stimulating working environment

• Steer your career in whatever direction you choose across functions and countries

• Benefit from our investment in your development, through award-winning learning

• Progress towards enriching career opportunities in railway systems

• Benefit from a fair and dynamic reward package that recognises your performance and potential, plus comprehensive and competitive social coverage (life, medical, pension)

You don’t need to be a train enthusiast to thrive with us. We guarantee that when you step onto one of our trains with your friends or family, you’ll be proud. If you’re up for the challenge, we’d love to hear from you!

Important to note

As a global business, we’re an equal-opportunity employer that celebrates diversity across the 63 countries we operate in. We’re committed to creating an inclusive workplace for everyone.