NVIDIA · 12 hours ago
Senior Formal Verification Engineer
United States
Full-time
Remote
Senior Level, Lead/Staff
$196K/yr - $310K/yr
12+ years expNVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. As a Senior Formal Verification Engineer, you will verify ASICs developed at the forefront using formal verification tools and collaborate with various teams to ensure correctness and improve methodologies.
AI InfrastructureArtificial Intelligence (AI)Consumer ElectronicsFoundational AIGPUHardwareSoftwareVirtual Reality
Responsibilities
Verify AI-related sophisticated ASIC designs & features with formal verification methods
Partner with architecture/RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions
Leverage and unleash the power of formal verification to rigorously verify critical design properties and ensure compliance with specifications, as well as minimize spec ambiguities
Articulate formal verification coverage to partners
Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency
Train and coach junior engineers on formal techniques and standard processes; Help on methodology/FAQ documentation
Support silicon bring-up and debug using formal methods where it applies
Qualification
Required
BS/MS/PhD or equivalent experience in CS/CE/EE
12+ years in ASIC verification with 8+ years focused on formal verification methods
Mastery of SystemVerilog Assertions (SVA) and formal property verification
Proficient on at least one popular formal verification tool in the industry(JapserGold, VC Formal, etc.)
Good scripting skills for flow automation(tcl, python, etc.)
Good written and oral communication skills
Keen attention to details
Preferred
Shown success in full-cycle formal sign-off for complex designs
Expertise in formal apps: FPV apps, sequential equivalence checks, datapath verification, etc
Deep understanding of GPU or LPU architecture/design
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
Straits Times
2026-02-05
Company data provided by crunchbase