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?

Take on a new challenge and apply your expertise in formal verification methodologies in a cutting-edge field. 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).
Applying formal verification methodologies defined for the project/system/product
Utilizing formal modeling languages (e.g.,



We value passion and attitude over experience. 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., A certification in safety-critical systems or a related area (preferred)
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. Enjoy stability, challenges, and a long-term career free from boring daily routines
Work with new security standards for rail signaling
Contribute to innovative projects
Utilize our flexible and inclusive working environment
Progress towards roles such as Senior Formal Verification Engineer or Safety Assurance Manager
Benefit from a fair and energetic reward package that recognizes your performance and potential, plus comprehensive and competitive social coverage (life, medical, pension)

As a global business, we’re an equal-opportunity employer that celebrates diversity across the 63 countries we operate in.

📌 Safety Engineer - Systems and Safety (Bengaluru)
🏢 ALSTOM
📍 Bengaluru