Formal Verification Engineer

NVIDIA

Scroll down to apply

Gurugram & Bengaluru, India0 – 1 Year (New College Graduate)6 days ago

RoleFormal Verification Engineer

LocationGurugram & Bengaluru, India

Experience0 – 1 Year (New College Graduate)

QualificationB.Tech./ M.Tech in Electrical Engineering / Computer Science

Job Description

For the NVIDIA Recruitment 2026 drive, the Hardware Team is looking for passionate engineers to apply state-of-the-art formal verification methodologies on complex digital designs, IP blocks, and SoCs. You will take complete ownership of verifying critical hardware designs by developing and executing robust test plans alongside a world-class design team.
You will collaborate with global verification team members to ensure design closure, applying abstraction techniques and analyzing RTL to troubleshoot and solve complex engineering problems. This role offers the unique chance to impact product lines ranging from consumer graphics to artificial intelligence.

As a Formal Verification Engineer at NVIDIA, your key responsibilities will include:
Methodology Application: Learn and apply best-in-class, state-of-the-art formal verification methodologies on complex digital designs and SoCs.
Test Plan Development: Take full ownership of verifying a design by crafting robust, comprehensive test plans.
Design Collaboration: Execute verification test plans by working closely and proactively with the hardware design team.
Team Coordination: Coordinate with other verification team members globally to ensure timely design closure and accuracy.
Analysis & Troubleshooting: Utilize temporal logic assertions and abstraction techniques to find and fix bugs in complex circuits.

To be eligible for NVIDIA Recruitment 2026, candidates must meet the following criteria:
Educational Background: B.Tech. or M.Tech. degree in Electrical Engineering, Computer Science, or related fields.
Experience Level: New College Graduates (0 to 1 years of experience). Freshers are highly encouraged to apply.
Core Competencies:Strong analytical and problem-solving skills to tackle difficult engineering challenges.Hands-on experience and proficiency with Hardware Description Languages (HDLs) such as Verilog and System Verilog.Solid understanding of abstraction techniques for effective and efficient verification.Ability to quickly read, understand, and interpret RTL (Register-Transfer Level) code.Good understanding of temporal logic assertions for hardware verification.
Strong analytical and problem-solving skills to tackle difficult engineering challenges.
Hands-on experience and proficiency with Hardware Description Languages (HDLs) such as Verilog and System Verilog.
Solid understanding of abstraction techniques for effective and efficient verification.
Ability to quickly read, understand, and interpret RTL (Register-Transfer Level) code.
Good understanding of temporal logic assertions for hardware verification.
Candidates must have hands-on experience with Verilog/System Verilog, a strong understanding of RTL, abstraction techniques, and temporal logic assertions.ezstandalone.cmd.push(function () { ezstandalone.showAds(662); });

Note: This job is posted on external sites. Joblit shares the listing for convenience and does not take responsibility for third-party content.