[Remote] Senior Compiler Engineer, Agentic Compiler Systems

Note: The job is a remote job and is open to candidates in USA. NVIDIA is hiring a Senior Compiler Engineer to build intelligent compiler and verification systems for its accelerated computing stack. The role develops compiler-oriented agents, numerical validation and verification infrastructure, and performance optimization workflows, collaborating across compiler, runtime, library, and hardware teams to bring capabilities into production.

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

• Bachelor's degree in Computer Science, Electrical Engineering, Applied Mathematics, or a related field, or equivalent experience
• 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 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
• MS or PhD
• Experience with Rust
• 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, deployed systems, publications, or widely used software
• Publications or open-source leadership in compilers, numerical computing, verification, formal methods, agentic AI, high-performance computing, AI systems, or programming systems

Benefits

• Eligible for equity

Company Overview

Company H1B Sponsorship