Formal Verification Engineer

NVIDIA AI has an opening for a Formal Verification Engineer at its Gurugram, Haryana office. This position sits within one of the world's foremost companies in AI computing and graphics processing technology, offering an opportunity to contribute to cutting-edge hardware and system verification efforts.

The role is focused on formal verification — a rigorous, mathematically grounded approach to validating the correctness of hardware designs. The successful candidate will work alongside engineering teams to ensure that complex digital systems meet their functional specifications before silicon implementation.

Key responsibilities may include:

• Developing and executing formal verification plans for hardware IP blocks
• Writing and reviewing assertions and properties to capture design intent
• Collaborating with design and validation engineers to identify and close verification gaps
• Analysing formal tool results and driving closure on identified issues

This is a strong opportunity for a verification professional looking to work on industry-defining AI and computing hardware at a globally recognised technology organisation.