Senior Formal Verification Engineer, GPU Kernels

NVIDIA Gruppe; Santa Clara (CA); On-site; USD 184,000 - 287,500; Full time

Benefits offered by this job

Equity

Benefits

Job summary

NVIDIA Gruppe is seeking a Senior Formal Verification Engineer for GPU Kernels, focused on creating verification tools that ensure correct behavior in various environments.

This role involves designing verification tools, integrating AI into workflows, and participating in innovative software and hardware product development. A MS or PhD in Computer Science and strong programming skills are essential.

The position is located in Santa Clara, California, offering a competitive salary and benefits.

Qualifications

• 6+ years of relevant work experience.
• Experience in symbolic execution, SMT solving, theorem proving, or model checking.
• Knowledge of CPU and GPU architecture is a plus.

Responsibilities

• Design and develop robust and scalable verification tools for GPU kernels.
• Integrate your work into production pipelines.
• Participate in a dynamic company culture to develop innovative products.

Skills

Programming skills in C/C++ or Rust

Formal methods experience

Ability to work independently

Education

MS or PhD in Computer Science or Computer Engineering

Tools

Git

Make

CMake

Job description

Overview

We are looking for a Senior Formal Verification Engineer for GPU Kernels. NVIDIA's Deep Learning Safety Team is hiring engineers to build verification tools that prove GPU kernels behave correctly, enabling their deployment in a wide range of environments, including safety‑critical systems.

Responsibilities

• Design and develop robust and scalable verification tools for GPU kernels.
• Integrate your work into production pipelines to support kernel and compiler developers.
• Integrate AI into formal verification workflows, build agents to automate verification tasks (formalization of specifications, bug fixing, root cause analysis).
• Participate in a dynamic company culture to develop innovative software and hardware products and practice hardware‑software co‑design.

Qualifications

• MS or PhD in Computer Science, Compute Engineering, or equivalent experience.
• 6+ years of relevant work experience.
• Formal methods experience: symbolic execution, SMT solving, interactive theorem proving, or model checking.
• Strong programming skills in C/C++ or Rust, experience in SCM (e.g., Git) and build systems (e.g., Make, CMake).
• Ability to work independently, define project goals and scope, and lead your own development effort.

Desired Skills

• Knowledge of CPU and/or GPU architecture. CUDA or OpenCL experience is a plus.
• Background in the formalization of weak memory models.
• Experience in the verification of concurrent software.
• Experience building LLM agents with tool use and multi‑step reasoning, or with neurosymbolic approaches and LLM‑assisted theorem proving.

Compensation and Benefits

Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The salary range is 184,000USD–287,500USD. You will also be eligible for equity and benefits.

Equal Opportunity Employer

NVIDIA is committed to fostering a diverse work environment and is proud to be an equal‑opportunity employer. NVIDIA does not discriminate on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status, or any other characteristic protected by law.