AI Compiler Formal Verification Intern

Responsibilities

• Research and implement innovative formal methods to verify state of the art AI compilers. This includes but is not limited to AI compiler features, passes, IR's, sub-graphs, lowerings and other critical elements of AI compilers. This role provides you with an opportunity to explore and use AI, formal verification, and…
• What we need to see
• Pursuing PhD in Computer Science, Computer/Electrical Engineering, Mathematics or equivalent program
• Strong Python or C++ programming skills
• Strong academic background in formal methods (preferably PhD)
• Ways to stand out from the crowd
• Academic or industrial background using LEAN or SMT to solve compiler or compiler-adjacent problems
• Knowledge of deep learning frameworks (such as Pytorch and TensorRT) and compilers
• With competitive salaries and a generous benefits package, we are widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us and, due to unprecedented growth, our exclusive engineering teams are rapidly…

Languages