Deep Learning Compiler Verification Engineer
NVIDIA
Opportunity published from Workday · applications stay with the original hiring source.
About the opportunity
NVIDIA is defining the next era of computing by tapping into the unlimited potential of AI, transforming computer graphics, PC gaming, and accelerated computing. As an NVIDIAN, you will join a diverse, supportive environment focused on innovation and impactful technology.
We are building the next generation of compiler technologies to accelerate deep learning workloads and are looking for an engineer to implement compiler verification software and related infrastructure.
You will solve critical problems alongside a diverse group of experts in GPU computing and systems software.
Key responsibilities
- Develop and maintain components of systems to reason about correctness in deep learning compilers, across graph transformations, IR lowering, and GPU execution.
- Work with deep learning compiler and architecture teams to analyze and validate optimizations, such as graph rewrites in MLIR, fusion passes, and mixed-precision transformations, ensuring they preserve semantics and numerical behavior.
- Implement and extend test generation systems that use deep learning solutions and analysis methods to drive in-depth testing across model topologies, precision modes, and hardware targets.
- Contribute to improving how functional quality and performance are measured as models, compiler stacks, and hardware continue to evolve.
Qualifications
- BS, MS, or PhD in Computer Science, Computer Engineering, Mathematics, or equivalent experience.
- Minimum 2 years of hands-on software engineering experience, with experience in compiler development, deep learning systems, or compiler verification.
- Proficiency in Python or C++ and experience with one major DL framework, such as PyTorch, JAX/XLA, TensorRT, or a similar framework involving model execution, graph representation, or runtime behavior.
- Strong problem-solving and debugging skills, including the ability to reason about model behavior and compiler-generated code, investigate correctness issues, and collaborate to resolve edge-case failures.
Nice to have
- Experience with compiler technologies such as LLVM, MLIR, TVM, or XLA, and familiarity with compiler passes, IR semantics, or correctness testing.
- Exposure to formal methods or language specification, including type systems, program semantics, or proof-based verification.
- Experience with DL model internals such as quantization, operator fusion, mixed-precision, or graph-level optimization.
Benefits
- Expected base salary range of 116,000 USD – 189,750 USD, determined based on location, experience, and other objective job-related factors.
- Eligibility for equity.
- Comprehensive benefits package.
Job details
- Application deadline: Applications will be accepted at least until November 4, 2026.
- Posting type: Existing vacancy.
About the company
NVIDIA has driven innovation in computer graphics, PC gaming, and accelerated computing for over 25 years.
Today, our GPUs power the brains of computers, robots, and self-driving cars that understand the world.
We rely on the world's best talent to achieve what has never been done before.
Additional information
- NVIDIA uses AI tools in its recruiting processes.
Application: UpVagas lists this opportunity from the hiring company or its recruitment platform. The application is completed at the original source.
