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 formal verification for AI compilers
Builds
Verified AI compiler components and verification solutions
Domain
AI computing, compiler technology, formal methods
Deliverable
research
Required skills
formal methods, Python, C++, semantic verification, static analysis
Preferred skills
LEAN, SMT, deep learning frameworks (PyTorch, TensorRT), compiler knowledge
