NVIDIA · 2 days ago
Senior Formal Verification Engineer - LPU
United States
Full-time
Remote
Senior Level
$136K/yr - $218K/yr
5+ years exp
NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. As a Senior Formal Verification Engineer, you will be at the forefront of developing modern technology that builds the future, working with world-class talent to verify AI-related sophisticated ASIC builds and features.
Artificial Intelligence (AI)TransportationCloud ComputingEmbedded SoftwareGamingHardwareQuantum ComputingSemiconductorAI InfrastructureAutonomous VehiclesEmbedded SystemsFoundational AI
Growth OpportunitiesH1B Sponsor Likely
Responsibilities
Verifying AI-related sophisticated ASIC builds & features using advanced formal verification methods
Collaborating closely with architecture and RTL teams to specify properties, resolve complex issues in building, and influence micro-architecture decisions
Applying formal verification to rigorously ensure critical build properties align with specifications and minimize ambiguities
Articulating formal verification coverage to partners
Developing advanced formal verification environments and methodologies for complex ASIC designs, including building automated flows for scalability and efficiency
Supporting silicon bring-up and debug using formal methods where applicable
Qualification
ASIC verificationFormal verification methodsSystemVerilog Assertions (SVA)Formal property verificationJasperGoldVC FormalAI tools application in engineeringFPV applicationsDatapath verificationGPU architectureLPU architecture
Required
BS/MS/PhD or equivalent experience in CS/CE/EE
5+ years in ASIC verification with 3+ years passionate about formal verification methods
Proficiency in SystemVerilog Assertions (SVA) and formal property verification
Experience with at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.)
Excellent skills in applying AI tools in daily engineering work to efficiently solve problems
Strong written and oral communication skills
Keen attention to detail
Preferred
Demonstrated success in full-cycle formal sign-off for complex builds
Expertise in formal applications: FPV apps, datapath verification, etc
Deep understanding of GPU or LPU architecture build
Benefits
Equity
Benefits
Company
NVIDIA
Accelerated computing platforms for AI and compute-intensive workloads.
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
89%
Represents job field similar to this job
Engineering and Development
Management and Executive
Product Management
Marketing
Sales
Accounting and Finance
Customer Service and Support
Creatives and Design
Human Resources
Arts and Entertainment
Legal and Compliance
Trends of Total Sponsorships
*2026 (1247)
2025 (1868)
2024 (1353)
2023 (976)
2022 (835)
2021 (601)
2020 (529)
Funding
Current Stage
Public CompanyTotal Funding
$29.09BKey Investors
ARPA-EARK Investment ManagementSoftBank Vision Fund
2026-06-15Post Ipo Debt· $25B
2023-05-09Grant· $5M
2022-08-09Post Ipo Equity· $65M
Recent News
2026-09-08
2026-09-08
The Motley Fool
2026-09-08
Company data provided by crunchbase