Senior Compiler Engineer, Agentic Compiler Systems

Overview In this role you design and build advanced compiler and verification systems for NVIDIA’s accelerated computing stack. You will work across compilers, agentic systems, numerical correctness, and verification to enable reliable, high-performance code transformations on GPUs. You’ll co-design workflows with software and hardware teams to bring new capabilities into production tools and products. You’ll influence developer productivity, performance, and correctness at scale, tackling challenging validation and optimization problems. Compensation / Benefitsequitybenefitsbase salary with rangeremote optionscompetitive salarycareer growth opportunities ResponsibilitiesDesign, build, and optimize intelligent low-level compiler systems, including agent-driven workflows and orchestrationDevelop systems that reason about IR, code generation, optimization passes, scheduling, numerical precision, and performance tradeoffs for GPU workloadsCreate data, environments, verification, reward, and evaluation infrastructure to improve compiler quality and numerical correctnessBuild infrastructure for numerical validation, differential testing, regression detection, and correctness verification for transformed codeCo-design compiler and verification workflows across NVIDIA’s software stack (models, inference, compiler pipelines, runtimes, libraries, kernels, GPUs)Collaborate with internal compiler, CUDA, library, runtime, and hardware teams to integrate capabilities into productsDrive performance analysis and optimization for generated or transformed code with focus on correctness and scalability Key requirements5+ years in compilers, AI systems, numerical computing, verification, HPC, or related areasStrong hands-on experience in compiler implementation, program analysis, code generation, optimization, low-level performance engineering, or correctness infrastructureExperience in agent systems, compiler automation, numerical analysis, program verification, differential testing, or formal/semi-formal validation methodsStrong C/C++ and Python programming skills; Rust a plusExperience with GPU programming and performance optimization using CUDA or comparable accelerator platformsAbility to work across system boundaries from model-driven workflows to runtime and hardware-aware optimizationcross-functional collaborationproblem solving with rigor and attention to numerical correctnesseffective communication across teamscompiler implementationprogram analysiscode generation