Formal Verification Engineer
NVIDIA AI is looking for a Formal Verification Engineer based in Gurugram, Haryana. This role involves applying formal methods to verify the correctness of complex hardware and AI systems.
About the role
This is an opportunity to join NVIDIA AI as a Formal Verification Engineer at their Gurugram, Haryana office. The role sits within a team focused on ensuring the functional correctness and reliability of cutting-edge hardware and AI-driven designs through rigorous formal verification techniques.
The ideal candidate will bring expertise in formal property verification, model checking, and equivalence checking, applying these methodologies to validate complex digital designs. Strong knowledge of hardware description languages and industry-standard formal verification tools is expected.
Key responsibilities may include:
- Developing and executing formal verification plans for hardware blocks and subsystems
- Writing and reviewing formal properties, assertions, and constraints
- Collaborating with design and validation teams to identify and resolve functional issues
- Contributing to the continuous improvement of formal verification flows and methodologies
This position offers the chance to work on some of the most advanced computing architectures in the industry, contributing directly to the quality and correctness of NVIDIA's next-generation products.