Formal Verification Engineer - Firmware

NVIDIA

3 Locations permanent

Posted: January 28, 2026

Job Description

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.

As a Formal Verification Engineer, your primary responsibility will be to use formal methods to prove the correctness and safety properties of critical firmware components. You will work closely with firmware architects, software developers, and hardware design teams to define specifications and ensure the firmware adheres to them across various operational states.

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 116,000 USD - 189,750 USD for Level 2, and 136,000 USD - 218,500 USD for Level 3.

You will also be eligible for equity and benefits.

Applications for this job will be accepted at least until January 31, 2026.

This posting is for an existing vacancy.

NVIDIA uses AI tools in its recruiting processes.

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.

Why Apply Through MisuJob?

AI-Powered Job Matching: MisuJob uses advanced artificial intelligence to analyze your skills, experience, and career goals. Our matching algorithm compares your profile against thousands of job requirements to find positions where you have the highest chance of success. This saves you hours of manual job searching and ensures you only see relevant opportunities.

One-Click Applications: Once you create your profile, applying to jobs is effortless. Your resume and cover letter are automatically tailored to highlight the most relevant experience for each position. You can apply to multiple jobs in minutes, not hours.

Career Intelligence: Beyond job matching, MisuJob provides valuable career insights. See how your skills compare to market demands, identify skill gaps to address, and understand salary benchmarks for your experience level. Make data-driven decisions about your career path.

Frequently Asked Questions

How do I apply for this position?

Click the "Register to Apply" button above to create a free MisuJob account. Once registered, you can apply with one click and track your application status in your dashboard.

Is MisuJob free for job seekers?

Yes, MisuJob is completely free for job seekers. Create your profile, get matched with jobs, and apply without any cost. We help you find your dream job without any hidden fees.

How does AI matching work?

Our AI analyzes your resume, skills, and experience to understand your professional profile. It then compares this against job requirements using natural language processing to calculate a match percentage. Higher matches mean better fit for the role.

Can I apply to jobs in other countries?

Absolutely. MisuJob features jobs from companies worldwide, including remote positions. Filter by location or look for remote opportunities to find jobs that match your preferences.

Ready to Apply?

Join thousands of job seekers using MisuJob's AI to find and apply to their dream jobs automatically.