NVIDIA Hiring Formal Verification Engineer in Gurugram & Bengaluru | Full Time

Job Overview

NVIDIA is hiring a Formal Verification Engineer – New College Graduate 2026 for its hardware team. The role is listed in Gurugram and Bengaluru, India and is a full-time opportunity for new college graduates. The selected engineer will work on formal verification of complex digital hardware designs, including intellectual property (IP) blocks and systems-on-chip (SoCs).

The position focuses on applying formal verification methods to confirm that hardware designs behave as intended. You will develop verification plans, work closely with design engineers to execute them, and coordinate with other verification team members to help achieve verification closure.

Key Responsibilities

• Learn and apply modern formal verification methodologies used for complex digital hardware.
• Contribute to formal verification activities for digital designs, IP blocks and SoCs.
• Develop a robust test and verification plan for the design assigned to you.
• Take responsibility for executing the verification plan in collaboration with the hardware design team.
• Work with design engineers to understand the design and carry out verification activities.
• Coordinate with other members of the verification team to track progress and support closure.
• Use abstraction techniques to make verification more effective and manageable.

Required Qualifications

• B.Tech or M.Tech in Electrical Engineering, Computer Science or a related field.
• Strong analytical and problem-solving ability.
• Understanding of abstraction techniques used in formal verification.
• Hands-on experience with hardware description languages such as Verilog or SystemVerilog.
• Ability to read and understand RTL (Register Transfer Level) designs quickly.
• Understanding of temporal logic assertions.

Technical Skills and Knowledge

• Verilog: Practical exposure to a hardware description language used to represent digital circuits.
• SystemVerilog: Hands-on experience with SystemVerilog for hardware design or verification tasks.
• RTL: Ability to interpret register-transfer-level descriptions of digital hardware.
• Formal verification: Understanding of methods for checking whether a hardware design satisfies its intended properties.
• Abstraction techniques: Knowledge of simplifying or representing design behavior to support effective verification.
• Temporal logic assertions: Understanding of assertions used to express and check behavior over time.
• Digital design, IP and SoCs: The role involves verification of complex digital designs, intellectual property blocks and systems-on-chip.

Education

Applicants should hold a B.Tech or M.Tech in Electrical Engineering, Computer Science or a related field. The posting does not provide a more detailed list of accepted related disciplines, so no additional branches have been assumed.

Experience and Graduate Eligibility

This vacancy is explicitly identified as a New College Graduate 2026 position. The posting does not state a numerical experience range. Candidates should review the official NVIDIA application page for any additional eligibility conditions associated with the graduate hiring program.

Job Locations and Employment Type

The posting identifies two work locations in India: Gurugram and Bengaluru. The employment type is full-time. A remote or hybrid arrangement is not specified in the supplied job description; the SoftoJobs work-mode field therefore uses its configured onsite default.

Who Should Apply

This opportunity is intended for 2026 new college graduates with the stated B.Tech or M.Tech education background and an interest in digital hardware verification. It is particularly relevant to candidates who have practical exposure to Verilog or SystemVerilog, can understand RTL descriptions, and are familiar with formal verification concepts and temporal logic assertions.

Applicants should be able to analyze complex technical problems, use abstraction to reason about hardware behavior, and collaborate with design and verification engineers. The role also requires the ability to learn formal verification methodologies and apply them to real digital designs.

How to Apply

Submit your application through NVIDIA's official careers page. Review the eligibility requirements and ensure that your resume clearly presents your B.Tech or M.Tech education, relevant branch, HDL experience, RTL understanding and exposure to formal verification.

Apply now through SoftoJobs to explore this opportunity.