Nvidia
Santa Clara or Austin or
Formal Verification Engineer - Firmware
Job details
- Location
- Santa Clara or Austin or
- Work type
- Hybrid
- Compensation
- $116,000 - $218,500/yr
- Posted
- 1 week ago
- Apply on
- nvidia.wd5.myworkdayjobs.com
About this role
3+ years in formal verification; Bachelor's/Master's in CS/EE; C/C++, Python; firmware verification experience; Model Checking/Theorem Proving.
What you'll do at Nvidia:
- Develop models
- Verify firmware
- Analyze counterexamples
Apply to this Formal Verification Engineer - Firmware role at Nvidia with a tailored resume on ApplyBolt.