Formal Verification Engineer - Firmware, Formal Verification Engineer - Firmware

NVIDIA; California (MO); On-site; USD 108,000 - 184,000; Full time

Job summary

A leading technology company is looking for a Formal Verification Engineer to focus on firmware verification. In this mid-senior level role, you'll develop precise models, apply formal verification techniques, and ensure the reliability of low-level software. Candidates should have a relevant degree and over 3 years of experience in formal verification. The salary ranges from 108,000 to 184,000 USD for Level 2, with equity and benefits available. Applications accepted until December 26, 2025.

Qualifications

• 3+ years of relevant experience in formal verification of hardware or embedded systems.
• Good understanding of Model Checking and Theorem Proving principles.
• Direct experience verifying firmware components.

Responsibilities

• Develop high-level, mathematically precise models for complex firmware behaviors.
• Apply various formal verification techniques to verify firmware correctness.
• Research and integrate new formal verification methodologies.

Skills

Mathematically precise modeling

Formal verification techniques

C/C++ proficiency

Scripting languages proficiency

Education

Bachelor’s or Master’s degree in Computer Science or related field

Job description

Formal Verification Engineer - Firmware

We are now seeking a Formal Verification Engineer, focusing on the firmware verification! In this role, you will be instrumental in ensuring the correctness, security, and reliability of our low‑level software that drives the next generation of computing performance. This position is ideal for an individual passionate about applying advanced formal methods to solve complex firmware verification and hardware‑firmware co‑verification challenges at scale.

What You’ll Be Doing

• 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.

What We Need To See

• Bachelor’s or Master’s degree in Computer Science, Electrical Engineering, or a related field or equivalent experience (Ph.D. is a plus).
• 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.

Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 108,000 USD - 184,000 USD for Level 2, and 136,000 USD - 212,750 USD for Level 3. You will also be eligible for equity and benefits.

Applications for this job will be accepted until December 26, 2025.

Seniority level: Mid‑Senior level

Employment type: Full‑time

NVIDIA is committed to fostering a diverse work environment and proud to be an equal‑opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.