NVIDIA
FormalVerificationEngineerFirmware
“Formal Verification Engineer - Firmware at NVIDIA. Skills: Formal Verification, Firmware, Model Checking, Theorem Proving. Use formal methods to prove correctness. Prove safety properties of firmware”
What You'll Achieve.
Ensuring correctness of firmware; Ensuring security of firmware; Ensuring reliability of firmware
Industry & Context.
Analyze counterexamples generated by formal tools to identify root causes of design/firmware flaws
What They're Looking For.
Must Have
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, Proficiency in C/C++, Proficiency in scripting languages, Direct experience verifying critical firmware components
Nice to Have
Ph. D. is a plus, Experience with specialized techniques like Abstract Interpretation, Experience with SAT/SMT Solvers, Experience employing formal approaches in security-critical code
What You'll Do.
Use formal methods to prove correctness
Prove safety properties of firmware
Define specifications
Ensure firmware adherence to specifications
Develop high-level models
Develop mathematically precise models
Develop specifications for firmware behaviors
Apply formal verification techniques
Verify firmware correctness
Formally verify hardware-firmware interface
Verify critical handshakes
Verify register accesses
Develop abstract models of hardware
Analyze counterexamples
Identify root causes of flaws
Research new methodologies
Evaluate new methodologies
Integrate new methodologies
How You'll Work.
Team & Collaboration
Work closely with firmware architects; Work closely with software developers; Work closely with hardware design teams
Applying for this Formal Verification Engineer - Firmware role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
How to Apply on Workday
- Workday has a multi-step form — save your progress after every section.
- "Apply With LinkedIn" can fail or lose data; manual entry is more reliable.
- Watch for the "Submit for Review" final step — hitting "Save" alone does not submit.
- Job requisition numbers are useful when following up with HR by email.
ANONYMOUS · UNFILTERED
What do employees actually say about NVIDIA?
Real rants from real employees. Read before you apply.