Formal Verification Engineer
NVIDIA AI is looking for a Formal Verification Engineer based in Gurugram, Haryana. This role involves applying formal verification methods to ensure the correctness and reliability of AI hardware and systems.
About the role
NVIDIA AI is seeking a skilled Formal Verification Engineer to join its team in Gurugram, Haryana, India. This is an opportunity to work with one of the world's leading technology companies at the forefront of artificial intelligence and accelerated computing.
The selected candidate will be responsible for applying formal verification techniques to validate the correctness of hardware designs and systems. This work plays a critical role in ensuring that NVIDIA's products meet the highest standards of quality and reliability.
- Apply formal verification methodologies to hardware or system-level designs
- Collaborate with cross-functional engineering teams to identify and resolve design issues
- Develop and maintain formal property specifications and verification environments
Candidates with a strong background in formal methods, hardware verification, and a passion for solving complex engineering challenges are encouraged to apply.