Senior Formal Verification Engineer

NVIDIA

Senior Formal Verification Engineer at NVIDIA verifying AI-related complex ASIC builds using formal verification methods. Collaborating with architecture and RTL teams to develop advanced verification methodologies.

Posted 4/22/2026full-timeRemote • Colorado, Oregon, Texas, Washington • 🇺🇸 United StatesSenior💰 $136,000 - $218,500 per yearWebsite

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
Deliver high-quality results on schedule

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

Highly competitive salaries
Comprehensive benefits package
Eligibility for equity

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 Verilogformal verificationRTLabstraction techniquesscriptingTCLPerl

Soft Skills

analytical skillscommunicationcollaborationproblem-solving

Certifications

BSMSPhD