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 location. The role sits within a team 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 digital 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 IP and subsystems
- Writing assertions, constraints, and properties to verify design intent
- Collaborating with design engineers to achieve sign-off on verification goals
- Analysing and debugging formal tool results to drive closure
This position is suited to engineers with a strong background in formal verification tools and methodologies, hardware description languages, and a passion for working on cutting-edge AI computing platforms.