Formal Method (Safety) Engineer

Alstom Transportation; Bengaluru; In loco; INR 1.200.000 - 1.800.000; Tempo pieno

Descrizione del lavoro

Alstom Transportation in Bangalore is seeking a Formal Verification Engineer to apply rigorous verification methods for safety-critical railway systems. This full-time role emphasizes collaboration with system engineers, safety managers, and project managers to ensure compliance and deliver formal verification reports.

The ideal candidate has a degree in CS or math, knowledge of modeling languages and verification tools, and a willingness to learn.

Competenze

• Degree in computer science, mathematics, or a related field.
• Experience with formal logic, proofs, and model-checking.
• Knowledge of modeling languages (e.g., HLL, B/Event-B, TLA+, Promela).
• Familiarity with verification tools (PSL, SPIN, NuSMV).
• Nice to have safety-critical systems certification.
• Ability to write properties like LTL/CTL.
• Basic understanding of railway signaling concepts.

Mansioni

• Apply formal verification methods to safety-critical systems.
• Analyze results and contribute to verification reports.
• Collaborate with system engineers, safety managers, and PMs.
• Ensure compliance with development and verification processes.

Conoscenze

Formal verification

Model checking

Formal logic

LTL/CTL

Railway signaling basics

Verification tools

Modeling languages

Formazione

Degree in Computer Science or Mathematics

Strumenti

PSL

SPIN

NuSMV

Descrizione del lavoro

Location: Bangalore, IN

Company: Alstom

Job Summary

Could you be the full-time Formal Verification Engineer in Bangalore were looking for

Your future role

Take on a new challenge and apply your expertise in formal verification methodologies in a cutting-edge field. Youll 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, youll 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.

Youll 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).

All about you

We value passion and attitude over experience. Thats why we dont expect you to have every single skill. Instead, weve 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 youll 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. Youll 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 projectsUtilize 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 dont 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, youll be proud. If youre up for the challenge, wed love to hear from you!

Important to note

As a global business, were an equal-opportunity employer that celebrates diversity across the 63 countries we operate in. Were committed to creating an inclusive workplace for everyone.