AI Compiler Formal Verification Intern
Core
Research and implement formal methods to verify state-of-the-art AI compilers, including features, passes, IRs, sub-graphs, and lowerings.
Role type
PhD-level research intern in AI compiler formal verification
Builds
Verified AI compiler components and verification solutions for human and agentic use cases
Domain
AI computing, compiler technology, formal methods
Deliverable
production ML models
Required skills
Python, C++, formal methods, static analysis, semantic verification
Preferred skills
LEAN, SMT, deep learning frameworks (PyTorch, TensorRT), compilers
Responsibilities
Research innovative formal methods, implement verification for AI compiler elements, explore AI and static analysis techniques
Seniority
PhD candidate/early-career researcher
