Formal Verification Engineer
A Formal Verification Engineer role focused on applying formal methods to verify complex hardware or software designs. The position is based in Gurugram, Haryana, India.
About the role
This is an opportunity for a skilled Formal Verification Engineer to join a leading technology organisation at its Gurugram, Haryana office. The role centres on the use of formal verification techniques to ensure the correctness and reliability of advanced designs.
The ideal candidate will bring hands-on experience with formal methods and verification flows, applying rigorous analytical approaches to identify and resolve design issues early in the development cycle.
- Apply formal verification methodologies to complex design challenges
- Collaborate with cross-functional engineering teams to define and implement verification strategies
- Develop and maintain formal property specifications and proof environments
Candidates with a strong background in formal verification, hardware or software design, and a passion for solving technically demanding problems are encouraged to apply.