Formal Verification Engineer
NVIDIA AI is looking for a Formal Verification Engineer based in Gurugram, Haryana. This role involves applying formal methods to verify the correctness of hardware or software designs.
About the role
This is an opportunity to join NVIDIA AI as a Formal Verification Engineer at their Gurugram, Haryana office. The role sits within a team focused on ensuring design correctness through rigorous formal verification techniques.
The ideal candidate will bring strong expertise in formal verification methodologies, including property checking, model checking, and equivalence verification, to help validate complex hardware or software systems.
- Apply formal verification methods to ensure design correctness
- Collaborate with design and validation teams on verification strategies
- Develop and maintain formal verification environments and flows
This position offers the chance to work at the forefront of AI hardware development within a globally recognised technology organisation.