NVIDIA · 12 hours ago
Formal Verification Engineer - Firmware
California, United States
Full-time
Onsite
Mid Level
$136K/yr - $218K/yr
3+ years expNVIDIA is seeking a Formal Verification Engineer focused on firmware verification. The role involves using formal methods to ensure the correctness and reliability of low-level software, working closely with various teams to define specifications and verify adherence across operational states.
AI InfrastructureArtificial Intelligence (AI)Consumer ElectronicsFoundational AIGPUHardwareSoftwareVirtual Reality
Responsibilities
Develop high-level, mathematically precise models and specifications for complex firmware behaviors (e.g., security protocols, memory management, boot sequencing) using formal specification
Apply various formal verification techniques, including Model Checking, Theorem Proving, and Equivalence Checking, to verify firmware correctness
Focus on the interface between hardware and firmware, formally verifying critical handshakes, register accesses, and control flows
Develop abstract models of hardware components (e.g., MMIO registers, state machines) required for firmware verification
Analyze counterexamples generated by formal tools to identify root causes of design/firmware flaws
Research, evaluate, and integrate new formal verification methodologies, tools, and algorithms to improve efficiency and coverage
Qualification
Required
Bachelor's or Master's degree in Computer Science, Electrical Engineering, or a related field or equivalent experience
3+ years of relevant experience in formal verification of hardware, software, or embedded systems
Good understanding of the principles of Model Checking and/or Theorem Proving
Strong proficiency in C/C++ (for firmware analysis) and scripting languages (e.g., Python, Perl)
Direct experience verifying critical firmware components such as Boot ROM/BIOS, Security Enclaves, Power Management, or Interrupt Controllers
Experience with specialized techniques like Abstract Interpretation, SAT/SMT Solvers, or employing formal approaches in security-critical code
Preferred
Ph.D. is a plus
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
GlobeNewswire
2026-01-13
2026-01-13
Company data provided by crunchbase