Formal Verification Engineer - Firmware
NVIDIA
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.
Skills
Qualifications
About NVIDIA
nvidia.comNVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.
Recent company news
NVIDIA NewsroomNVIDIA Ignites the Next Industrial Revolution in Knowledge Work With Open Agent Development Platform
2 days ago
Bloomberg.comNvidia CEO Says Company Is Firing Up H200 Production for China
1 day ago
Yahoo FinanceNvidia CEO Huang says company sees more than $1 trillion in sales through 2027
1 day ago
CNBCNvidia's one of the fastest growing companies with one of the lowest valuations, says Jim Cramer
14 hours ago
Fast CompanyNvidia is reskinning games with AI. Gamers are angry about it, and wrong
1 day ago
About NVIDIA
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
Unlock Company Insights
View leadership team, funding history,
and employee contacts for NVIDIA.
Salary
$116k – $219k
per year