Hiring: Engineering Manager, AI Compiler Analysis Company: NVIDIA Location: Seattle, WA Job Posted Time: 2026-09-12 17:59:08 Employment Type: Full-time Target Skills & Keywords: AI Compiler, MLIR, TensorRT, XLA, Triton, PyTorch, JAX, Formal Verification, LLMs, Agentic AI, GPU Programming, CUDA, Compiler IRs, Fuzzing, Differential Testing, Symbolic Reasoning, SMT/SAT Solvers, Lean, Theorem Proving, Static Analysis, Automated Debugging, Computation Graphs, Tensor Operations, Model Execution, People Management Experience: - 10+ overall years of total relevant software engineering experience - At least 3 years leading engineering teams or major technical initiatives - Hands-on compiler engineering leadership experience - 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 Required Skills: - Lead, mentor, and grow a highly technical team responsible for AI compiler verification - Own verification of next-generation AI workloads, including LLMs and agentic AI systems, across the full 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 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 - Strong people management skills, including hiring, mentoring, performance management, and team development Qualifications: - BS, MS, or PhD in Computer Science, Computer Engineering, or a related field, or equivalent experience - Hands-on with deep learning compiler internals, including compiler IRs, optimization and lowering pipelines, code generation, runtime integration, or production compiler infrastructure (preferred) - Experience verifying performance-sensitive compiler behavior and root-causing subtle regressions in production AI/ML systems using computational methods, fuzzing, code inspection, or automated debugging (preferred) - Background in formal verification or programming languages, with familiarity in formal specifications, theorem proving, Lean, SMT/SAT solvers, or symbolic reasoning (preferred) Compensation: Highly competitive salary with a comprehensive benefits package. Interested candidates, please apply directly through the job posting on company's career page or try via AI auto apply on this platform. Don’t miss this opportunity to join a forward-thinking team!