Lead AI Compiler Verification Manager

NVIDIA; Santa Clara (CA); On-site; USD 168,000 - 322,000; Full time

Benefits offered by this job

Equity

Benefits

Job summary

NVIDIA in Santa Clara seeks an Engineering Manager to spearhead verification of AI compilers for next-generation deep learning workloads. This hands-on leadership role guides a highly technical team across the AI compiler stack and execution pipeline.

You will define formal verification requirements, drive AI-assisted verification techniques, and partner with CUDA software, ML frameworks, and runtime teams to build scalable verification infrastructure and increase production confidence.

Qualifications

• BS, MS or PhD in Computer Science, Computer Engineering, or related field, or equivalent experience.
• 10+ total years of software engineering experience, with at least 3 years leading teams or major technical initiatives.
• Experience with AI compiler or framework technologies such as MLIR, TensorRT, XLA, Triton, PyTorch, or JAX.
• Fluency with AI workloads and ML framework concepts, including graphs, tensor operations, and training/inference workflows.
• Strong people management skills, including hiring, mentoring, performance management, and team development.

Responsibilities

• Lead, mentor, and grow a highly technical team responsible for AI compiler verification.
• Own the verification of next-generation AI workloads, including LLMs and agentic AI systems, across the AI compiler stack and execution pipeline.
• Define formal-verification requirements for AI compiler transformations and generated GPU programs, including specifications and semantics.
• Drive AI-assisted verification techniques, including adversarial workloads, differential testing, symbolic reasoning, and fuzzing.
• Partner with AI compiler development, CUDA software, ML framework, runtime, product, and AI software teams to build scalable verification infrastructure.

Skills

Leadership

Mentoring

Team management

AI compiler verification

Formal methods

Differential testing

Symbolic reasoning

Education

BS, MS, or PhD in Computer Science or related field

Tools

MLIR

TensorRT

XLA

Triton

PyTorch

JAX

Job description

NVIDIA in Santa Clara seeks an Engineering Manager to spearhead verification of AI compilers for next-generation deep learning workloads. This hands-on leadership role guides a highly technical team across the AI compiler stack and execution pipeline.

You will define formal verification requirements, drive AI-assisted verification techniques, and partner with CUDA software, ML frameworks, and runtime teams to build scalable verification infrastructure and increase production confidence.