Formal Verification Engineer - Firmware job opportunity at NVIDIA.

Home Jobs In United States Of America Tag: Job Formal Verification Engineer - Firmware position at NVIDIA


DateMore Than 30 Days Ago bot
NVIDIA Formal Verification Engineer - Firmware
Experience: 3-years
Pattern: full-time
Country:
apply Apply Now
Salary:
Status:

Job

Copy Link Report
degreeBachelor's (B.A.)
loacation US, CA, Santa Clara, United States Of America
loacation US, CA, Santa ..........United States Of America

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.

Other Ai Matches

HR Specialist - New College Grad 2026 Applicants are expected to have a solid experience in handling Job related tasks
Senior DGX Cloud AI Infrastructure Software Engineer Applicants are expected to have a solid experience in handling Job related tasks
AI Scientist, Robotics Digital Twins - PhD New College Grad 2026 Applicants are expected to have a solid experience in handling Robotics Digital Twins - PhD New College Grad 2026 related tasks
Senior Software Triage Engineer - Autonomous Vehicles Applicants are expected to have a solid experience in handling Job related tasks
Senior Deep Learning Engineer - Model Evaluation & AI Systems Applicants are expected to have a solid experience in handling Job related tasks
Senior Quantum Error Correction Research Scientist, Applied Research Applicants are expected to have a solid experience in handling Applied Research related tasks
Senior Software Engineer, Hardware-Oriented Applicants are expected to have a solid experience in handling Hardware-Oriented related tasks
Senior Storage and Networking Product Engineer Applicants are expected to have a solid experience in handling Job related tasks
System Application Engineer - Notebook Applicants are expected to have a solid experience in handling Job related tasks
Senior Quantum Software Engineer Applicants are expected to have a solid experience in handling Job related tasks
Senior Physical Design Methodology Engineer, Innovus Flows Applicants are expected to have a solid experience in handling Innovus Flows related tasks
Senior System Software Engineer, SOC Applicants are expected to have a solid experience in handling SOC related tasks
Senior Firmware PHY Verification Engineer Applicants are expected to have a solid experience in handling Job related tasks
Paralegal, Business and Trademark Legal Applicants are expected to have a solid experience in handling Business and Trademark Legal related tasks
Senior Storage Kernel Software Engineer, Linux - DGX Cloud Applicants are expected to have a solid experience in handling Linux - DGX Cloud related tasks
Senior Product Security System Test Engineer Applicants are expected to have a solid experience in handling Job related tasks
Engineering Build Manager Applicants are expected to have a solid experience in handling Job related tasks
Senior Failure Analysis Engineer Applicants are expected to have a solid experience in handling Job related tasks
Sales Development Specialist Applicants are expected to have a solid experience in handling Job related tasks
Software Engineer - Performance Verification Applicants are expected to have a solid experience in handling Job related tasks
remote-jobserver Remote
Data Center Engineering and Operations Environmental Compliance Manager Applicants are expected to have a solid experience in handling Job related tasks
Software Infrastructure and Tools Engineer Applicants are expected to have a solid experience in handling Job related tasks
remote-jobserver Remote
Visualization Software Sales Specialist Applicants are expected to have a solid experience in handling Job related tasks