Interested in doing a PhD while working on LLVM and MLIR?
We have funding for five PhD positions via CASCADE and likely more via Cambridge PhD Fellowships – all aimed at working at the intersection of software and computer architecture. Compilers are a great match.
Are you:
-
Curious about doing a PhD
-
Enjoy working on MLIR/CIRCT/LLVM?
-
Want to do open-source work as a central part of your PhD?
The potential PhD topics are wide and cover pretty much anything in LLVM and MLIR. Feel very much invited to bring forward your own ideas.
Key priorities in LLVM/MLIR are:
- Rethink backend design, e.g., using explicit MLIR-based ISA dialects, superoptimization in the backend, program synthesis, …
- Formalize LLVM and MLIR in the Lean interactive Theorem Prover
- Accelerate Compiler Design – Make it more interactive, visually appealing, and human.
Learn more at Home , or just drop me an email for an informal chat about how to apply.