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
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 verifying the functional correctness of complex hardware designs using formal methods.
The successful candidate will be responsible for developing and applying formal verification techniques to validate hardware components and ensure they meet design specifications. The role demands deep technical expertise in formal property checking, model checking, and equivalence verification.
- Apply formal verification methodologies to hardware design validation
- Develop and maintain formal testbenches and property specifications
- Collaborate with design and architecture teams to identify and resolve functional issues
- Contribute to the advancement of formal verification flows and best practices
This is an opportunity to work on cutting-edge AI hardware at one of the world's leading technology companies. Candidates with a strong background in formal verification tools and hardware design languages are encouraged to apply.