Senior Formal Verification Engineer

NVIDIA

Formal Verification Engineer at NVIDIA verifying micro-architecture and formal verification tools. Collaborating with architects and providing high-quality results throughout the project cycle.

Posted 6/12/2026full-timeSanta Clara • California, Texas • 🇺🇸 United StatesSenior💰 $136,000 - $218,500 per yearWebsite

Tech Stack

Tools & technologies

PerlPython

About the role

Key responsibilities & impact

Verify the build and implementation of the industry's leading GPUs
Verify the micro-architecture using formal verification tools
Define the verification scope and ensure correctness
Employ sophisticated formal techniques to acquire sufficiently bounded proofs
Work with architects, designers, and pre- & post-silicon verification teams
Complete the formal verification effort for the entire project cycle

Requirements

What you’ll need

BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 5+ years of experience
Understanding of GPU/CPU architectures and engineering work flows
Experience with Verilog / System Verilog HDLs and able to understand sophisticated RTL quickly
Experience with formal tools and knowledge of formal verification methodologies
Able to implement abstraction techniques for effective verification
Strong analytical skills to tackle sophisticated problems
Excellent command of scripting using TCL, Perl, and/or Python
Excellent written and verbal communication
Able to optimally collaborate and work in a distributed team

Benefits

Comp & perks

Competitive salary
Equity
Comprehensive benefits package

ATS Keywords

✓ Tailor your resume

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

GPU architectureCPU architectureVerilogSystem VerilogRTLformal verificationabstraction techniquesTCLPerlPython

Soft Skills

analytical skillscommunicationcollaborationteamwork

Certifications

BSMSPhD