Formal Verification Engineer
NVIDIA AI is looking for 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 is focused on ensuring the functional correctness of complex hardware designs through rigorous formal verification techniques.
The successful candidate will be expected to apply formal methods and property-based verification approaches to validate chip and system designs, working closely with design and validation teams to identify and resolve potential issues early in the development cycle.
Key responsibilities may include:
- Developing and executing formal verification plans for hardware components
- Writing and reviewing formal properties, assertions, and constraints
- Collaborating with design engineers to debug and resolve verification failures
- Contributing to the continuous improvement of formal verification flows and methodologies
This position is suited to engineers with a strong background in formal verification, hardware design languages, and EDA tools, who are eager to work on cutting-edge AI hardware at one of the world's leading technology companies.