Senior Formal Verification Engineer jobs in United States
cer-icon
Apply on Employer Site
company-logo

NVIDIA · 1 day ago

Senior Formal Verification Engineer

positionAustin, TX
timeFull-time
remoteOnsite
senioritySenior Level
money$168K/yr - $264K/yr
date6+ years exp

NVIDIA is a leading company in computer graphics and AI technology, seeking a Senior Formal Verification Engineer. This role involves verifying the implementation of GPUs using formal verification tools, defining verification scopes, and collaborating with various teams to ensure correctness and high-quality results.

AI InfrastructureArtificial Intelligence (AI)Consumer ElectronicsFoundational AIGPUHardwareSoftwareVirtual Reality
check
Growth Opportunities
check
H1B Sponsor Likelynote

Responsibilities

Identify key behaviors for verification to write clear testplans for sophisticated 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 acquire full proofs, or bounded proofs with sufficient coverage
Drive formal 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 to partners

Qualification

Formal verification toolsVerilog / System VerilogGPU/CPU architecturesAbstraction techniquesScripting TCLScripting PerlScripting PythonAnalytical skillsWritten communicationVerbal communicationCollaboration skills

Required

BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 6+ 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

Equity
Benefits

Company

NVIDIA

twittertwittertwitter
Glassdoor4.6
company-logo
NVIDIA is a computing platform company operating at the intersection of graphics, HPC, and AI.
dateFounded in 1993
location
Santa Clara, California, USA
people-size10001+ employees
web-link
https://www.nvidia.com

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 Company
Total Funding
$4.09B
Key Investors
ARPA-EARK Investment ManagementSoftBank Vision Fund
2023-05-09Grant· $5M
2022-08-09Post Ipo Equity· $65M
2021-02-18Post Ipo Equity

Leadership Team

leader-logo
Jensen Huang
Founder and CEO
linkedin
leader-logo
Michael Kagan
Chief Technology Officer
linkedin

Recent News

IndiaTimes
After 'surprise car announcement', Nvidia CEO Jensen Huang meets CEOs of Mercedes and Hyundai
2026-01-08
IndiaTimes
CEO Jensen Huang confirms, Nvidia’s $500 billion AI demand outlook won't …
2026-01-08
IndiaTimes
Elon Musk's ChatGPT rival xAI raises $20 billion in funding; investors include Nvidia which has promised up to $100 billion to Sam Altman's OpenAI
2026-01-08
Company data provided by crunchbase