Interested in doing a PhD while working on CIRCT?
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 the compiler and EDA space. Feel invited to bring forward your own topic.
Two of our key priorities in CIRCT are:
- Build a Next-generation Hardware Simulation for CIRCT
- Use arcilator as a foundation
- Scale to Real-World Verilog
- Parallelism and Hardware Acceleration
- Cloud-Scale Simulation
- Formal Verification in CIRCT
Learn more at Home or just drop me an email for an informal chat about how to apply.