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

Your future role

Take on a current challenge and apply your expertise in formal verification methodologies in a cutting-edge field. Youll work alongside innovative and collaborative teammates.

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

Well 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. 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 certifi

📌 Formal Method (Bengaluru)
🏢 ALSTOM
📍 Bengaluru