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, 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.
With highly competitive salaries and a comprehensive benefits package, NVIDIA is widely considered to be one of the technology industry's most desirable employers. We have some of the most brilliant and hardworking people in the world working with us and our product lines are growing fast in some of the hottest state of the art fields such as Virtual Reality, Artificial Intelligence, Deep Learning and Autonomous Vehicles.
You will also be eligible for equity and benefits.
Applications for this job will be accepted at least until November 6, 2026.
This posting is for an existing vacancy.
NVIDIA uses AI tools in its recruiting processes.
NVIDIA is committed to fostering an inclusive work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.
