Senior Formal Verification Engineer

NVIDIA Gruppe; Bengaluru; On-site; INR 2,500,000 - 3,500,000; Full time

Benefits offered by this job

Competitive salaries

Generous benefits package

Job summary

NVIDIA Gruppe in Bengaluru is hiring a Formal Verification Engineer to verify complex designs and collaborate with design and architecture teams. The role involves creating test plans and building formal verification testbenches.

Ideal candidates have a B.Tech./M.Tech. degree with over 5 years of experience, strong skills in debugging, and proficiency in scripting. NVIDIA offers competitive salaries and a generous benefits package.

Qualifications

• 5+ years of relevant experience in formal verification.
• Solid understanding of hardware micro-architecture and design.
• Conversant with formal verification technologies.

Responsibilities

• Decide on applications of formal verification techniques.
• Review specifications and create formal verification test plans.
• Build formal verification testbenches and apply abstraction techniques.

Skills

Debugging skills

Scripting proficiency (Python, Perl, or Shell)

Interpersonal and communication skills

Education

B.Tech./M.Tech. degree

Job description

NVIDIA has continuously reinvented itself. Our invention of the GPU sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. Today, research in artificial intelligence is booming worldwide, and NVIDIA GPUs provide the scalable, massively parallel computation needed to advance this field.

As a Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs. You will collaborate closely with design, architecture, and other validation teams, as well as NVIDIA’s internal FV R&D group that develops functional verification tools using formal verification technology.

Responsibilities

• Decide on the optimal applications of formal verification techniques across design components.
• Review functional and micro‑architectural specifications, define the scope for formal verification, and create high‑quality formal verification test plans to sign off on design implementation.
• Build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to converge targeted properties or achieve reasonable proof depth.
• Apply formal coverage techniques to analyze over‑constraints and measure functional coverage.
• Design and develop functional verification flows that involve both vendor and internally developed formal tools.

Qualifications

• B.Tech./M.Tech. with 5+ years of relevant experience.
• Solid understanding of hardware micro‑architecture and design.
• Conversant with formal verification technologies, including complexity reduction techniques.
• Experience with formal property verification on multiple complex units.
• Proficiency in creating high‑quality test plans, building formal testbenches, and root‑causing counter‑examples.

Desired Skills

• Strong debugging and problem‑solving skills.
• Proficiency in scripting (Python, Perl, or shell).
• Excellent interpersonal and communication skills; ability to work effectively as part of a great team.

Benefits

Competitive salaries and a generous benefits package.

We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.