Formal Verification Engineer
NVIDIA AI is seeking a Formal Verification Engineer based in Gurugram, Haryana. This role involves applying formal verification methods 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 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 architecture 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 achieve thorough verification coverage
- Analysing and debugging formal verification results
This position is suited to engineers with a strong background in formal verification methodologies and hardware design verification, who are looking to contribute to cutting-edge AI hardware development at a globally recognised technology company.