Formal Verification Engineer - Firmware
NVIDIA(1 month ago)
About this role
A Formal Verification Engineer focused on firmware verification, ensuring the correctness, security, and reliability of low-level software that drives next-generation computing performance. The role applies advanced formal methods and works across firmware, software, and hardware teams to define specifications and validate firmware behavior at scale. The position supports hardware-firmware co-verification and improvement of formal verification toolchains and methodologies.
Required Skills
- Model Checking
- Theorem Proving
- Equivalence Checking
- C++
- Python
- Firmware Verification
- Hardware Modeling
- Abstract Interpretation
- SAT Solvers
- SMT Solvers
Qualifications
- BS in Computer Science
- MS in Electrical Engineering
- PhD
About NVIDIA
nvidia.comNVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.
View more jobs at NVIDIA →Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at NVIDIA
Similar Jobs
Research Software Engineer, Formal Methods
RTX(1 month ago)
Senior Principal Research Engineer, Formal Methods
RTX(1 month ago)
FVCTO - Formal Verification Specialist
Intel(1 month ago)
Arithmetic Formal Verification Engineer
Intel(1 month ago)
Firmware Verification Engineer (m/f/d)
NXP Semiconductors(2 months ago)
Formal Methods Research Intern
Example Corp(2 months ago)