OR · On-site
Direct experience verifying critical firmware components such as Boot ROM/BIOS, Security Enclaves, Power Management, or Interrupt Controllers. * Experience with specialized techniques like Abstract ...
OR · On-site
Direct experience verifying critical firmware components such as Boot ROM/BIOS, Security Enclaves, Power Management, or Interrupt Controllers. * Experience with specialized techniques like Abstract ...
$160K - $190K/yr
... management controllers (e.g. BMC). * Experience working with logic designers to architect and ... Direct experience working on products with high-speed interfaces common in Data Center equipment:
$160K - $190K/yr
... management controllers (e.g. BMC). * Experience working with logic designers to architect and ... Direct experience working on products with high-speed interfaces common in Data Center equipment:
Direct experience verifying critical firmware components such as Boot ROM/BIOS, Security Enclaves, Power Management, or Interrupt Controllers. * Experience with specialized techniques like Abstract ...
Direct experience verifying critical firmware components such as Boot ROM/BIOS, Security Enclaves, Power Management, or Interrupt Controllers. * Experience with specialized techniques like Abstract ...
Scotts Valley, CA · On-site
$180K - $200K/yr
Give direct, specific feedback and create the conditions for a team that improves how it works and ... Real cross-functional work with Firmware, BMS, Vehicle Architecture, PMO, CX, and Hardware in ...
Scotts Valley, CA · On-site
$180K - $200K/yr
Give direct, specific feedback and create the conditions for a team that improves how it works and ... Real cross-functional work with Firmware, BMS, Vehicle Architecture, PMO, CX, and Hardware in ...
Tucson, AZ · On-site
$115K - $152K/yr
Direct W2 contractors only! No Visa Sponsorship available! Onsite contract enior Firmware Engineer ... Organize and prioritize the team backlog, managing technical debt and balancing feature velocity ...
Tucson, AZ · On-site
$115K - $152K/yr
Direct W2 contractors only! No Visa Sponsorship available! Onsite contract enior Firmware Engineer ... Organize and prioritize the team backlog, managing technical debt and balancing feature velocity ...
$120K - $159K/yr
Cheshire, CT (ATS) - Management How will you CONTRIBUTE and GROW? At Airgas, we are committed to ... Desired direct design experience with RF wireless communication technologies such as Wifi, 4G, 5G ...
$120K - $159K/yr
Cheshire, CT (ATS) - Management How will you CONTRIBUTE and GROW? At Airgas, we are committed to ... Desired direct design experience with RF wireless communication technologies such as Wifi, 4G, 5G ...
Austin, TX · On-site
Manage over-the-air (OTA) firmware updates for embedded systems deployed on robotic platforms ... This is a direct hire. Please, no outside Agency solicitations. Apptronik provides equal employment ...
Austin, TX · On-site
Manage over-the-air (OTA) firmware updates for embedded systems deployed on robotic platforms ... This is a direct hire. Please, no outside Agency solicitations. Apptronik provides equal employment ...
$140K - $185K/yr
Core Firmware Development: Build, implement, and optimize low-level C firmware for the Boot and ... Direct experience managing low-level SoC infrastructure like clocks, resets, voltage rails, and ...
$140K - $185K/yr
Core Firmware Development: Build, implement, and optimize low-level C firmware for the Boot and ... Direct experience managing low-level SoC infrastructure like clocks, resets, voltage rails, and ...
Santa Clara, CA · On-site
$140K - $185K/yr
Core Firmware Development: Build, implement, and optimize low-level C firmware for the Boot and ... Direct experience managing low-level SoC infrastructure like clocks, resets, voltage rails, and ...
Santa Clara, CA · On-site
$140K - $185K/yr
Core Firmware Development: Build, implement, and optimize low-level C firmware for the Boot and ... Direct experience managing low-level SoC infrastructure like clocks, resets, voltage rails, and ...
Cheshire, CT · On-site
$120K - $159K/yr
Cheshire, CT (ATS) - Management How will you CONTRIBUTE and GROW? At Airgas, we are committed to ... Desired direct design experience with RF wireless communication technologies such as Wifi, 4G, 5G ...
Cheshire, CT · On-site
$120K - $159K/yr
Cheshire, CT (ATS) - Management How will you CONTRIBUTE and GROW? At Airgas, we are committed to ... Desired direct design experience with RF wireless communication technologies such as Wifi, 4G, 5G ...
Baton Rouge, LA · On-site
$80K - $110K/yr
Our software automatically manages mobile device usage, helping organizations reduce distractions ... Direct access to hardware labs for rapid iteration * Work on a product combining embedded systems ...
Baton Rouge, LA · On-site
$80K - $110K/yr
Our software automatically manages mobile device usage, helping organizations reduce distractions ... Direct access to hardware labs for rapid iteration * Work on a product combining embedded systems ...
... CA 91355 Direct : 661-367-8000 Ext : 310 Job Title: Firmware Development Engineer Location ... management issues. -Demonstrated ability of working well in a diverse and cross geo team ...
... CA 91355 Direct : 661-367-8000 Ext : 310 Job Title: Firmware Development Engineer Location ... management issues. -Demonstrated ability of working well in a diverse and cross geo team ...
Baton Rouge, LA · On-site
$80K - $110K/yr
Our software automatically manages mobile device usage, helping organizations reduce distractions ... Direct access to hardware labs for rapid iteration * Work on a product combining embedded systems ...
Baton Rouge, LA · On-site
$80K - $110K/yr
Our software automatically manages mobile device usage, helping organizations reduce distractions ... Direct access to hardware labs for rapid iteration * Work on a product combining embedded systems ...
San Francisco, CA · On-site
$126K - $189K/yr
... have a direct impact on reducing pain and improving the lives of our millions of members. In ... Experience with bootloaders, firmware update, and managing memory maps * Familiarity with DevOps ...
San Francisco, CA · On-site
$126K - $189K/yr
... have a direct impact on reducing pain and improving the lives of our millions of members. In ... Experience with bootloaders, firmware update, and managing memory maps * Familiarity with DevOps ...
San Jose, CA · On-site
$175K/yr
... direct, humble, collaborative, and inclusive of diverse perspectives. Join us as we shape the ... Influence strategies for security, safety, and lifecycle management across firmware domains.
San Jose, CA · On-site
$175K/yr
... direct, humble, collaborative, and inclusive of diverse perspectives. Join us as we shape the ... Influence strategies for security, safety, and lifecycle management across firmware domains.
$125K - $175K/yr
The Senior Firmware Engineer will report to the Engineering Manager and will not have direct reports. Location: Onsite Hybrid (San Mateo, CA) The compensation range for this role is market driven ...
$125K - $175K/yr
The Senior Firmware Engineer will report to the Engineering Manager and will not have direct reports. Location: Onsite Hybrid (San Mateo, CA) The compensation range for this role is market driven ...
$140K - $185K/yr
... firmware systems for IoT tracking device platforms ... In this role, you will lead and manage the definition of architecture and implementation of designs ...
$140K - $185K/yr
... firmware systems for IoT tracking device platforms ... In this role, you will lead and manage the definition of architecture and implementation of designs ...
Santa Clara, CA · On-site
$140K - $185K/yr
... firmware systems for IoT tracking device platforms ... In this role, you will lead and manage the definition of architecture and implementation of designs ...
Santa Clara, CA · On-site
$140K - $185K/yr
... firmware systems for IoT tracking device platforms ... In this role, you will lead and manage the definition of architecture and implementation of designs ...
Boise, ID · On-site
$136K - $201K/yr
Communication with Leadership, Program Managers, and direct reports. Follow and apply SEL Values ... years of experience in embedded/firmware development Knowledge in the following areas:
Boise, ID · On-site
$136K - $201K/yr
Communication with Leadership, Program Managers, and direct reports. Follow and apply SEL Values ... years of experience in embedded/firmware development Knowledge in the following areas:
$114K - $151K/yr
... DYMO's direct thermal and thermal transfer printers. This engineer leads firmware development ... Knowledge of C#, scripting tools, or managed languages is a plus * Strong debugging capability ...
$114K - $151K/yr
... DYMO's direct thermal and thermal transfer printers. This engineer leads firmware development ... Knowledge of C#, scripting tools, or managed languages is a plus * Strong debugging capability ...
$75K - $86.8K
1% of jobs
$86.8K - $98.6K
2% of jobs
$98.6K - $110.5K
3% of jobs
$110.5K - $122.3K
3% of jobs
$122.3K - $134.1K
6% of jobs
$138.2K is the 25th percentile. Wages below this are outliers.
$134.1K - $145.9K
26% of jobs
$145.9K - $157.7K
3% of jobs
$157.7K - $169.5K
3% of jobs
The median wage is $170.4K / yr.
$169.5K - $181.4K
23% of jobs
$181.4K - $193.2K
1% of jobs
$194.2K is the 75th percentile. Wages above this are outliers.
$193.2K - $205K
27% of jobs
$75K
$167.4K
$205K
| Aspect | Director Firmware Manager | Firmware Engineer |
|---|---|---|
| Required Credentials | Bachelor's/Master's in Electrical Engineering, Computer Science; leadership experience | Bachelor's/Master's in Electrical Engineering, Computer Science |
| Work Environment | Management, strategic planning, cross-team coordination | Design, develop, test firmware code |
| Employer & Industry Usage | Tech companies, manufacturing, IoT firms | Embedded systems, consumer electronics, automotive |
| Common Search & Comparison | Leadership, management, strategic roles | Technical, coding-focused roles |
The main difference is that a Director Firmware Manager oversees firmware development teams, sets strategic goals, and manages projects, while a Firmware Engineer focuses on designing and coding firmware. The Director role involves leadership and planning, whereas the Firmware Engineer is more hands-on with technical tasks.

Full-time
This job post has expired today. Applications are no longer accepted.
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.
You will also be eligible for equity and benefits.
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.Sourced by ZipRecruiter
NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It's a unique legacy of innovation that's fueled by great technology--and amazing people. Today, we're tapping into the unlimited potential of AI to define the next era of computing. An era in which our GPU acts as the brains of computers, robots, and self-driving cars that can understand the world. Doing what's never been done before takes vision, innovation, and the world's best talent.
Computer and electronic product manufacturing
10,000+ Employees
Santa Clara, CA, US
1993