NVIDIA · 3 days ago
Senior Formal Verification Engineer
Santa Clara, CA
Full-time
Onsite
Senior Level
$168K/yr - $264K/yr
7+ years expNVIDIA is looking for a Formal Verification Engineer to help verify the design and implementation of industry’s leading CPUs and other High Performance Computing Solutions. In this role, you will ensure the functional correctness and completeness of next generation chip designs by developing and implementing formal verification methodologies and collaborating with a skilled engineering team.
Artificial Intelligence (AI)Consumer ElectronicsGPUHardwareSoftwareVirtual Reality
Responsibilities
Identify key behaviors for verification to write clear testplans for complex designs
Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties
Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage
Drive tools to realize their best performance
Debug RTL to identify causes of failure scenarios
Contribute to flow and script development to improve team efficiency
Articulate formal verification coverage of the design to partners
Qualification
Required
BS (or equivalent experience)/MS/PhD with 7+ years of experience in CS/CE/EE/Mathematics
Solid understanding of GPU/CPU architectures and designs
Strong analytical skills to solve complex problems
Knowledge of formal verification methodologies and techniques
Able to implement abstraction techniques for effective verification
Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly
Excellent command of scripting using TCL, Perl, and Python
Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team
Preferred
Preferable experience with Formal Verification Tools (eg. Jasper Gold, VC Formal)
Benefits
Equity
Benefits
Company
NVIDIA
NVIDIA is a computing platform company operating at the intersection of graphics, HPC, and AI.
10001+ employees
H1B Sponsorship
NVIDIA has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (1877)
2024 (1355)
2023 (976)
2022 (835)
2021 (601)
2020 (529)
Funding
Current Stage
Public CompanyTotal Funding
$4.09BKey Investors
ARPA-EARK Investment ManagementSoftBank Vision Fund
2023-05-09Grant· $5M
2022-08-09Post Ipo Equity· $65M
2021-02-18Post Ipo Equity
Leadership Team
Jensen Huang
Founder and CEO
Michael Kagan
Chief Technology Officer
Recent News
2026-01-07
2026-01-07
Company data provided by crunchbase