This role pays more than
81%
of similar roles. Most pay
$177,250–$235,750
— the shaded band above.
At the midpoint, this role pays about
$236k
versus about
$206k
for comparable roles.
Based on 240 similar postings.
Employer
About Nvidia
Nvidia is a leading designer of graphics processing units (GPUs) and system-on-chip units, powering gaming, professional visualization, data centers, and artificial intelligence workloads. Industry: Semiconductors & AI Computing
Nvidia currently has
985 open roles
on FindRole.
Listed pay typically runs
$184,000–$287,500
across 971 roles with salary data.
Join NVIDIA's Deep Learning Safety Team as a Senior Formal Verification Engineer for GPU Kernels, where you will design and develop scalable verification tools that ensure the correctness of performance-critical GPU kernels used in safety-critical systems. Your day-to-day responsibilities include creating new algorithms, building automated workflows, integrating AI into formal verification processes, and collaborating with compiler and kernel developers to enhance software reliability. You will leverage your expertise in formal methods such as symbolic execution and SMT solving, along with strong programming skills in C/C++ or Rust, to tackle the complex concurrency and memory models of modern GPU architectures. This role requires a deep understanding of CPU and GPU architecture, experience with CUDA or OpenCL, and familiarity with weak memory model formalization, making it ideal for those passionate about advancing AI safety through innovative software solutions.
C
C++
CUDA
OpenCL
Linux
Windows
Git
Python
CI/CD
Doxygen
Markdown
JIRA
Confluence
NVIDIA GPUs
GPU Compute API
Assembly programming
Performance analysis tools
High performance computing
Software design
Debugging skills