Lead GPU Formal Verification Engineer Equity Eligible

NVIDIA; Santa Clara (CA); On-site; USD 168,000 - 264,500; Full time

Job summary

NVIDIA is seeking a Formal Verification Engineer to ensure the correctness of the industry-leading GPUs. The role involves verifying micro-architectures using formal verification tools, collaborating with architects, and delivering high-quality results.

The ideal candidate will have extensive experience, a strong understanding of GPU architectures, and scripting skills in TCL, Perl, or Python. NVIDIA offers competitive salaries and comprehensive benefits.

Qualifications

• 6+ years of experience in relevant fields.
• Experience with formal tools and formal verification methodologies.
• Ability to quickly understand sophisticated RTL.

Responsibilities

• Verify the micro-architecture using formal verification tools.
• Develop test plans and abstraction models for complexity challenges.
• Collaborate with teams to deliver high-quality results.

Skills

Understanding of GPU/CPU architectures

Strong analytical skills

Excellent command of scripting (TCL, Perl, Python)

Ability to implement abstraction techniques

Excellent communication skills

Education

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

Tools

Verilog

System Verilog

Job description

NVIDIA is seeking a Formal Verification Engineer to ensure the correctness of the industry-leading GPUs. The role involves verifying micro-architectures using formal verification tools, collaborating with architects, and delivering high-quality results.

The ideal candidate will have extensive experience, a strong understanding of GPU architectures, and scripting skills in TCL, Perl, or Python. NVIDIA offers competitive salaries and comprehensive benefits.