GPU Formal Verification Engineer RTL Proofs Equity

NVIDIA; Santa Clara (CA); On-site; USD 100,000 - 166,750; Full time

Benefits offered by this job

Equity

Inclusive work environment

Job summary

NVIDIA is seeking a Formal Verification Engineer to verify the design and implementation of leading GPUs. You will work closely with architects and designers, employing advanced formal techniques, and driving formal verification efforts through the entire project cycle.

The ideal candidate will have a BS/MS/PhD in a relevant field, strong analytical skills, and hands-on experience with formal verification tools. The role offers competitive compensation based on experience and location, along with equity and benefits.

Qualifications

• Strong analytical skills to address arithmetic verification challenges.
• Experience with C programming and debugging flows.
• Hands-on experience with formal verification tools.

Responsibilities

• Identify key behaviors for verification and write test plans.
• Execute test plans using formal techniques.
• Debug RTL to identify failure scenarios.
• Contribute to flow and script development.

Skills

Analytical skills

Understanding GPU/CPU architectures

Formal verification methodologies

Scripting in Python and Tcl

Education

BS/MS/PhD in CS/CE/EE/Mathematics

Tools

Verilog/SystemVerilog HDLs

Industry-strength formal verification tools

Job description

NVIDIA is seeking a Formal Verification Engineer to verify the design and implementation of leading GPUs. You will work closely with architects and designers, employing advanced formal techniques, and driving formal verification efforts through the entire project cycle.

The ideal candidate will have a BS/MS/PhD in a relevant field, strong analytical skills, and hands-on experience with formal verification tools. The role offers competitive compensation based on experience and location, along with equity and benefits.