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. What we need to see: • Bachelor's degree in Computer Science, Electrical Engineering, Applied Mathematics, or a related field, or equivalent experience; MS or PhD preferred. • 5+ years of relevant industry or academic 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 one or more of the following areas: 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. • Ability to work effectively across system boundaries, from model-driven workflows and compiler infrastructure to runtime and hardware-aware optimization. Ways to stand out from the crowd: • Track record of building high-impact compiler infrastructure, coding agents, verification frameworks, correctness tooling, or developer tools. • Deep expertise in low-level compiler stacks such as LLVM, MLIR, PTX, Triton, or other IR/codegen frameworks. • Experience building or optimizing AI-assisted compilation, numerical validation systems, equivalence checking, autotuning, or compiler verification workflows. • Deep expertise in GPU systems, numerical behavior, and performance optimization, demonstrated through benchmark results, depl