Engineering Manager, AI Compiler Analysis

Lead a highly technical team to verify next-generation AI compilers, covering LLMs and agentic AI across the full compilation and execution stack. Define formal-verification requirements for compiler transformations and generated GPU programs, ensuring semantic preservation, numerical behavior, and code equivalence. Apply AI-assisted and compiler-aware techniques such as adversarial workload generation, differential testing, symbolic reasoning, fuzzing, static analysis, and automated debugging while partnering with CUDA, ML frameworks, runtime, and product teams to build scalable verification infrastructure.