Research Engineer - AI Compiler Verification

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