Research Engineer - AI Compiler Verification

This role focuses on researching and implementing innovative formal methods to verify state-of-the-art AI compilers, including features, passes, and sub-graphs. The position offers an opportunity to explore AI, formal verification, and static analysis techniques to create solutions for human and agentic-use cases. The ideal candidate will have a strong academic background in formal methods and programming skills in Python or C++.