Formal Verification Engineer
NVIDIA AI is looking for a Formal Verification Engineer based in Gurugram, Haryana. This role involves applying formal verification techniques 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 methods.
The successful candidate will be expected to apply formal verification techniques and tools to validate hardware components, 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 designs
- Using industry-standard formal verification tools and methodologies
- Collaborating with design engineers to understand architecture and specifications
- Identifying bugs and corner cases through formal analysis
This position is suited to engineers with a strong background in formal verification, hardware design languages, and a passion for building reliable, high-performance computing systems.