Senior GPU Kernel Verification Engineer — Formal Methods & AI

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

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.