Formal Verification Engineer
NVIDIA AI is hiring a Formal Verification Engineer in Gurugram, Haryana. This role involves applying formal methods to verify the correctness and reliability of AI hardware and systems.
About the role
This position is with NVIDIA AI's engineering team based in Gurugram, Haryana, India. The role focuses on formal verification — a rigorous, mathematically-driven approach to confirming that hardware designs and systems behave exactly as intended.
The successful candidate will be expected to work on formal verification methodologies applied to complex AI and computing hardware. This includes developing and executing verification plans that ensure design correctness at a foundational level, going beyond simulation-based testing.
Candidates should possess a strong background in formal methods and hardware verification. Key areas of expertise typically relevant to this kind of role include:
- Experience with formal verification tools and techniques
- Understanding of hardware description languages and digital design
- Ability to develop assertions, properties, and verification environments
- Analytical skills to identify and resolve design issues early in the development cycle
This is an opportunity to contribute to cutting-edge AI hardware development at one of the world's leading technology companies, working alongside expert engineering teams in a collaborative environment.