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

We’ll look to you for:
- 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 have every single skill. Instead, we’ve listed some that we think will help you succeed and grow in this role:
- Degree in computer science, mathematics, or a related field
- Experience or understanding of formal logic, formal proofs, and model-checking concepts
- Knowledge of formal modeling languages (e.g., HLL, B/Event-B, TLA+, Promela, etc.)
- Familiarity with formal verification tools (e.g., PSL, SPIN, NuSMV, etc.)
- A certification in safety-critical systems or a related area (preferred)
- Ability to write and interpret properties (e.g., LTL, CTL)
- Basic understanding of railway signaling concepts

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 current skills and experiences throughout your career. You’ll also:
- Enjoy stability, challenges, and a long-term career fr

📌 Formal Method (Bengaluru)
🏢 ALSTOM
📍 Bengaluru