Engineering Manager, AI Compiler Analysis

What you’d do

Lead and grow a team verifying AI compilers, covering LLMs and agentic AI workloads across the compiler stack. Define formal-verification requirements and drive techniques like differential testing, fuzzing, and static analysis. Full time. Found on the employer's careers page on Sep 29, 2026. Apply through the link.