Senior Compiler Engineer, Agentic Compiler Systems

We are looking for an outstanding Senior Compiler Engineer to help build the next generation of intelligent compiler technologies for NVIDIA's accelerated computing stack. Our team works at the intersection of compilers, agentic systems, numerical correctness, and verification to create compiler systems that can reason about, generate, optimize, and validate code transformations across software and hardware boundaries.

In this role, you will help design and build advanced compiler and verification systems that improve developer productivity, system performance, and confidence in correctness. This includes developing compiler-oriented agents and workflows, building numerical validation and verification infrastructure, and co-designing with NVIDIA's compiler, runtime, library, and hardware teams to bring new capabilities into production tools and products.

What you'll be doing:

• 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.

…