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
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 of complex hardware designs through rigorous formal verification techniques.
The ideal candidate will bring expertise in formal verification methods and tools, applying them to validate and verify hardware components and subsystems. This work is critical to maintaining the high standards of quality and reliability that NVIDIA's products demand.
Key responsibilities and expectations include:
- Applying formal verification methodologies to hardware design validation
- Working closely with design and engineering teams to identify and resolve functional issues
- Developing and maintaining formal property specifications and verification environments
This position offers the chance to work on cutting-edge AI hardware at one of the world's leading technology companies, contributing directly to products that power modern artificial intelligence infrastructure.