Firmware Verification Engineer

Job Summary

A company is looking for a Formal Verification Engineer - Firmware.

Key Responsibilities

• Develop high-level, mathematically precise models and specifications for complex firmware behaviors
• Apply formal verification techniques to verify firmware correctness
• Analyze counterexamples generated by formal tools to identify design/firmware flaws

Required Qualifications

• Bachelor's or Master's degree in Computer Science, Electrical Engineering, or a related field; Ph.D. is a plus
• 3+ years of relevant experience in formal verification of hardware, software, or embedded systems
• Good understanding of Model Checking and/or Theorem Proving principles
• Strong proficiency in C/C++ and scripting languages like Python or Perl
• Direct experience verifying critical firmware components such as Boot ROM/BIOS or Security Enclaves