Senior Compiler Engineer, Agentic Compiler Systems

This is a fully remote position, open to applicants in California, +3 more states.

📋 Description

• Design, construct, and enhance intelligent low-level compiler systems, incorporating compiler-oriented agents, multi-step transformation workflows, tool utilization, memory management, and orchestration.

• Create systems that analyze low-level intermediate representations (IR), code generation, optimization processes, scheduling, numerical precision, and performance trade-offs within GPU-centric workloads.

• Develop data, environments, verification, reward, and evaluation systems aimed at enhancing compiler quality, numerical accuracy, robustness, and performance.

• Establish infrastructure for numerical validation, differential testing, regression detection, and correctness verification for generated or modified code.

• Collaborate in the co-design of compiler and verification workflows throughout NVIDIA's software ecosystem, encompassing models and inference, compiler pipelines, runtimes, libraries, kernels, and GPUs.

• Work alongside internal teams focused on compilers, CUDA, libraries, runtimes, and hardware to integrate new functionalities into NVIDIA products.

• Lead performance analysis and optimization efforts for generated or transformed code, with an emphasis on correctness, scalability, and real-world application.

⛳️ Requirements

• Bachelor's degree in Computer Science, Electrical Engineering, Applied Mathematics, or a related discipline, or equivalent experience; a Master's or PhD is preferred.

• Over 5 years of relevant experience in industry or academia related to compilers, AI systems, numerical computing, verification, high-performance computing, or similar fields.

• Strong practical experience in compiler implementation, program analysis, code generation, optimization, low-level performance engineering, or correctness infrastructure.

• Familiarity with agent systems, coding agents, compiler automation, numerical analysis, program verification, differential testing, or formal/semi-formal validation methodologies.

• Proficient in C/C++ and Python programming, with a solid foundation in software engineering; knowledge of Rust is an advantage.

• Experience in GPU programming and performance optimization using CUDA or equivalent accelerator platforms.

• Capability to operate across system boundaries, from model-driven workflows and compiler infrastructure to runtime and hardware-aware optimization.

• Proven experience in developing compiler infrastructure, coding agents, verification frameworks, correctness tools, or developer tools.

• Proficiency in low-level compiler stacks such as LLVM, MLIR, PTX, Triton, or other IR/code generation frameworks.

• Experience with AI-assisted compilation, numerical validation systems, equivalence checking, autotuning, or compiler verification workflows.

• Expertise in GPU systems, numerical behavior, and performance optimization.

• Publications or leadership in open-source projects within relevant technical domains.

🏝️ Benefits

• Highly competitive salaries.

• Comprehensive benefits package.

• Equity options.

• An equal opportunity and inclusive work environment.