Senior Compiler Engineer — Agentic & Verification Lead

NVIDIA; Redmond (WA); On-site; USD 152,000 - 242,000; Full time

Job summary

NVIDIA is seeking a Senior Compiler Engineer to advance intelligent compiler technologies for its accelerated computing stack. You will design and implement systems that transform and verify code for GPU platforms, collaborating with compiler, runtime, library, and hardware teams to deliver production-ready tools and products.

The role emphasizes correctness, performance, and scalability, with opportunities to influence NVIDIA's software stack and contribute to state-of-the-art AI, graphics, and

Qualifications

• 5+ years of relevant experience in compilers, AI systems, numerical computing, verification, high-performance computing, or related areas.
• Strong hands-on experience in compiler implementation, program analysis, code generation, optimization, low-level performance engineering, or correctness infrastructure.
• Experience in agent systems, coding agents, compiler automation, numerical analysis, program verification, differential testing, or formal/semi-formal validation methods.
• Strong C/C++ and Python programming skills, with solid software engineering fundamentals; experience with Rust is a plus.
• Experience with GPU programming and performance optimization using CUDA or comparable accelerator platforms.

Responsibilities

• Design, build, and optimize intelligent low-level compiler systems, including compiler-oriented agents, multi-step transformation workflows, tool use, memory, and orchestration.
• Develop systems that can reason about low-level IR, code generation, optimization passes, scheduling, numerical precision, and performance tradeoffs across GPU-centric workloads.
• Build the data, environments, verification, reward, and evaluation systems needed to continuously improve compiler quality, numerical correctness, robustness, and performance.
• Develop infrastructure for numerical validation, differential testing, regression detection, and correctness verification for generated or transformed code.
• Co-design compiler and verification workflows across NVIDIA's software stack, spanning models and inference, compiler pipelines, runtimes, libraries, kernels, and GPUs.
• Collaborate closely with internal compiler, CUDA, library, runtime, and hardware teams to integrate new compiler, agentic, and verification capabilities into NVIDIA products.
• Drive performance analysis and optimization for generated or transformed code, with a strong focus on correctness, scalability, and real-world deployment.

Skills

C/C++ programming

Python programming

GPU programming with CUDA

Compiler development

Code optimization

Education

Bachelor's degree

MS or PhD preferred

Tools

LLVM

MLIR

PTX

Triton

CUDA

Job description

NVIDIA is seeking a Senior Compiler Engineer to advance intelligent compiler technologies for its accelerated computing stack. You will design and implement systems that transform and verify code for GPU platforms, collaborating with compiler, runtime, library, and hardware teams to deliver production-ready tools and products.

The role emphasizes correctness, performance, and scalability, with opportunities to influence NVIDIA's software stack and contribute to state-of-the-art AI, graphics, and