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 Formal Verification Engineer in Bangalore we’re looking for?

Your future role

Take on a new challenge and apply your expertise in formal verification methodologies in a cutting-edge field. You’ll work alongside cutting-edge and cooperative teammates.

You'll play a key role in ensuring the safety and reliability of critical systems by applying formal verification techniques. Day-to-day, you’ll work closely with teams across the business (such as system engineers, safety assurance managers, and project managers), ensure compliance with processes, and contribute to formal verification reports and much more.





You’ll specifically take care of applying formal verification methodologies and analyzing results, but also supporting the elaboration of formal verification reports under the guidance of the Project Safety Assurance Manager (PSAM).

We’ll look to you for:
Applying formal verification methodologies defined for the project/system/product
Developing and interpreting properties using formal logic (e.g., LTL, CTL)
Utilizing formal modeling languages (e.g., HLL, B/Event-B, TLA+, Promela, etc.)
Performing formal verification using tools such as PSL, SPIN, NuSMV, etc.
Analyzing results from formal verification processes
Collaborating with the PSAM to deliver formal verification outcomes
Participating in the elaboration of formal verification reports
Demonstrating a basic understanding of railway signaling concepts

All about you

We value passion and attitude over experience. That’s why we don’t expect you to hav

📌 Formal Method Bengaluru
🏢 ALSTOM
📍 Bengaluru