Senior Formal Verification Engineer, GPU Kernels
NVIDIA
Santa Clara
Workplace: OnsiteFull timeUSD 184,000 - 287,500 annuallyFunction: Solutions Engineering & Sales EngineeringExperience: 6+ yearsEducation: mastersSkills: ["Communication","Problem-solving","C++","C","Rust","Git","Make","CMake","Symbolic execution","SMT solving","Theorem proving","Model checking","CUDA","OpenCL"]Lead the design and delivery of scalable verification tools for GPU kernels in NVIDIA's Deep Learning Safety Team. You’ll develop formal verification methods that handle massive GPU concurrency, integrate AI into verification workflows, and collaborate with kernel and compiler teams to improve safety and reliability of AI workloads across diverse environments.
