Nvidia
Santa Clara, California
Senior Formal Verification Engineer, GPU Kernels
Job details
- Location
- Santa Clara, California
- Work type
- Onsite
- Compensation
- $184,000 - $287,500/yr
- Posted
- Apr 23, 2026
- Apply on
- nvidia.wd5.myworkdayjobs.com
About this role
MS or PhD; 6+ years experience; formal methods (symbolic execution, SMT, theorem proving, model checking); strong C/C++ or Rust; Git and build systems (Make, CMake); ability to work independently and lead projects.
What you'll do at Nvidia:
- Design tools
- Integrate pipelines
- Automate tasks
Apply to this Senior Formal Verification Engineer, GPU Kernels role at Nvidia with a tailored resume on ApplyBolt.