Formal Method (Safety) Engineer

Role overview

Formal Method (Safety) Engineer at Alstom

Responsibilities

• You'll play a key role in ensuring the safety and reliability of critical systems by applying formal verification techniques.
• 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.

Preferred qualifications and skills

• 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.

Employment details

• Location: Bangalore [IN]

Application details

• Your future role Take on a new challenge and apply your expertise in formal verification methodologies in a cutting-edge field.

About the employer

• At Alstom, we understand transport networks and what moves people.

Additional role details

• 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?
• You’ll work alongside innovative and collaborative teammates.
• 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.
• 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.
• Job Segment: Computer Science, Technology