Impress employers and recruiters.
Choose from hundreds of resume examples.

Impress employers and recruiters.
Choose from hundreds of resume examples.

Target Resume Now

About the Role

NVIDIA is seeking an Engineering Manager to lead the strategy for verifying AI compilers for next-generation deep learning workloads. This role requires a deep understanding of compiler quality regressions in modern AI compiler stacks, operating at the intersection of compilers, machine learning frameworks, numerical computing, formal reasoning, and large-scale systems engineering.

Responsibilities

• Lead, mentor, and grow a highly technical team responsible for AI compiler verification.
• Own the verification of next-generation AI workloads, including LLMs and agentic AI systems, across the full spectrum of the AI compiler stack and execution pipeline.
• Define formal-verification requirements for AI compiler transformations and generated GPU programs, including formal specifications, tensor/operator semantics, semantic preservation, code equivalence, numerical behavior, and properties stressed by AI-generated or adversarial workloads.
• Drive the use of AI-assisted and compiler-aware verification techniques, including adversarial workload generation, differential testing, symbolic reasoning, formal methods, fuzzing, static analysis, and automated debugging.
• Partner closely with AI compiler development, CUDA software, ML framework, runtime, product, and AI software teams to build scalable verification infrastructure, improve engineering velocity, and increase production confidence.

Requirements

• BS, MS, or PhD in Computer Science, Computer Engineering, or a related field, or equivalent experience.
• 10+ overall years of total relevant software engineering experience.
• At least 3 years experience leading engineering teams or major technical initiatives.
• Experience with AI compiler or framework technologies such as MLIR, TensorRT, XLA, Triton, PyTorch, or JAX.
• Fluency with AI workload and ML framework concepts, including computation graphs, tensor operations, model execution, and training or inference workflows.
• Strong people management skills, including hiring, mentoring, performance management, and team development.

Skills

• AI compiler verification
• Formal verification
• AI-assisted verification
• Compiler-aware verification
• Adversarial workload generation
• Differential testing
• Symbolic reasoning
• Formal methods
• Fuzzing
• Static analysis
• Automated debugging
• Deep learning compiler internals
• Compiler IRs
• Optimization and lowering pipelines
• Code generation
• Runtime integration
• Production compiler infrastructure
• Performance-sensitive compiler behavior verification
• Root-causing subtle regressions
• Computational methods
• Code inspection
• Theorem proving
• Lean
• SMT/SAT solvers

Experience Level

• 10+ years of software engineering experience
• 3+ years of leadership experience

Education Level

• BS, MS, or PhD in Computer Science, Computer Engineering, or related field, or equivalent experience

Salary/Compensations

• 168,000 USD - 270,250 USD for Level 2
• 200,000 USD - 322,000 USD for Level 3

Benefits

• Equity
• Comprehensive benefits package

About the Company

• NVIDIA's invention of the GPU transformed computer graphics, parallel computing, and modern AI.
• Today, NVIDIA high-performance processing platforms power breakthroughs across generative AI, autonomous systems, scientific computing, robotics, and high-performance data centers.
• NVIDIA's compiler technologies are key enablers of AI at scale, turning rapidly evolving deep learning models into highly optimized GPU programs for training and inference.
• 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.

Equal Opportunity

• 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.