Formal Verification Engineer
NVIDIA AI is seeking a Formal Verification Engineer based in Gurugram, Haryana. This role involves applying formal verification methodologies to ensure the correctness and reliability of AI hardware and systems.
About the role
NVIDIA AI has an opening for a Formal Verification Engineer at its Gurugram, Haryana location. This position is suited for engineers with a strong background in formal methods and hardware verification who are looking to contribute to cutting-edge AI technology development.
The successful candidate will be responsible for applying formal verification techniques to validate the design and functionality of hardware components, ensuring that systems meet rigorous correctness standards before deployment.
- Role: Formal Verification Engineer
- Location: Gurugram, Haryana, India
- Employer: NVIDIA AI
Candidates with expertise in formal property checking, model checking, equivalence verification, or related disciplines are encouraged to apply for this opportunity to work alongside a world-class engineering team.