[Skip to main content](#main-content) [OpenNash Jobs](https://jobs.opennash.com/) [Hiring report](/reports/hiring/) · [All Alstom jobs](https://jobs.opennash.com/companies/alstom/) · [Search jobs](/search/) Alstom · Bangalore, IN # Formal Method (Safety) Engineer Bangalore, IN Operations Listed on Alstom’s official careers site. Listed as of October 18, 2026. Check that it is still open and apply there. [Apply on Alstom’s careers site →](https://jobsearch.alstom.com/job/Bangalore-Formal-Method-%28Safety%29-Engineer/1414362133/) [OpenNash Jobs](https://jobs.opennash.com/) / [Alstom](https://jobs.opennash.com/companies/alstom/) / Formal Method (Safety) Engineer ## Job description 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 innovative and collaborative 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 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 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 new security standards for rail signaling - Collaborate with transverse teams and helpful colleagues - Contribute to innovative projects - Utilize our flexible and inclusive 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 roles such as Senior Formal Verification Engineer or Safety Assurance Manager Benefit from a fair and dynamic reward package that recognizes 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. ## At a glance - Posted by the employer: Not stated - First seen by OpenNash: Jul 16, 2026 - Last checked: Oct 18, 2026 - Listed for: 94 days - Location: Bangalore, IN[Apply on Alstom’s careers site →](https://jobsearch.alstom.com/job/Bangalore-Formal-Method-%28Safety%29-Engineer/1414362133/) ## More jobs at Alstom ### [AI Business Analyst](https://jobs.opennash.com/companies/alstom/jobs/b40c8e6cd585ee55e425/) Bangalore, IN ### [Project Engineering Manager](https://jobs.opennash.com/companies/alstom/jobs/c5b1a18a7a90c43dbb8a/) Bangalore, IN ### [Project Manager](https://jobs.opennash.com/companies/alstom/jobs/1aaf8e67571eb2f50c39/) Bangalore, IN ### [Project Planning Engineer](https://jobs.opennash.com/companies/alstom/jobs/5257092576944421d024/) Bangalore, IN ### [Project Planning Manager](https://jobs.opennash.com/companies/alstom/jobs/6e22e25a01e0cb86330d/) Bangalore, IN ## Similar jobs at other companies ### [CPU Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/bbab5f0f9c149727a826/) Qualcomm · Santa Clara, California, United States of America ### [Principal Design Verification Engineer - Formal](https://jobs.opennash.com/companies/microsoft/jobs/63c5570160bfdee65271/) Microsoft · United States, North Carolina, Raleigh, Texas, Austin, Oregon, Hillsboro, California, Mountain View ### [Senior Staff Formal Verification Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/06d0a8e7015cead3b554/) Qualcomm · San Diego, California, United States of America, Austin, Texas, Santa Clara ### [Welder - Experienced or Formal Training](https://jobs.opennash.com/companies/general-dynamics/jobs/57b292ee5f689fd4051a/) General Dynamics · North Kingstown, RI, US ### [Safety Engineer - E2](https://jobs.opennash.com/companies/lockheed-martin/jobs/1b01c88ca170a3b0f8e2/) Lockheed Martin · Silverdale, WA OpenNash lists jobs from employers’ own careers sites and does not handle applications. Dates come from the employer where stated; “first seen” and “last checked” are our own observations. OpenNash Jobs · Official listings with dates and links to the employer. [Weekly hiring report](/reports/hiring/) · [Methodology](/methodology/)