Formal Verification Engineer
NVIDIA AI is seeking a Formal Verification Engineer based in Gurugram, Haryana. This role involves applying formal methods to verify the correctness of complex hardware or software systems.
About the role
The employer is looking for a skilled Formal Verification Engineer to join its team in Gurugram, Haryana, India. This position sits within the AI division and focuses on ensuring the functional correctness of designs through rigorous formal verification techniques.
The ideal candidate will bring expertise in formal methods and verification flows, contributing to high-stakes projects that demand precision and reliability. This is an opportunity to work on cutting-edge technology in one of the industry's most prominent AI-focused organisations.
Key focus areas for this role include:
- Applying formal verification methodologies to hardware or software designs
- Collaborating with cross-functional engineering teams to identify and resolve design issues
- Developing and maintaining formal property specifications and verification environments
Candidates with a strong background in formal verification and a passion for working on advanced AI and computing technology are encouraged to apply for this position based in Gurugram.