SIGN IN
Senior Formal Verification Engineer - LPU jobs in United States
Apply on Employer Site
company-logo

NVIDIA · 2 days ago

Senior Formal Verification Engineer - LPU

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 Opportunities
H1B 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

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 Company
Total Funding
$29.09B
Key Investors
ARPA-EARK Investment ManagementSoftBank Vision Fund
2026-06-15Post Ipo Debt· $25B
2023-05-09Grant· $5M
2022-08-09Post Ipo Equity· $65M

Leadership Team

leader-logo
Jensen Huang
Founder and CEO
linkedin
leader-logo
Michael Kagan
Chief Technology Officer
linkedin
Company data provided by crunchbase