Optimizing Compiler/ML/AI/Testing/Verification: 6 PhD positions

6 PhD studentships are available in the following general areas:
  • using compilers to improve ML/AI performance
  • using ML/AI to improve compiler technology
  • software testing and verification
  • rethinking compiler design
  • Topics include but are not limited to:
  • Developing new compiler optimisations for Transformer workloads
  • SAIL based simulator verification
  • Formal verification at the boundary of software and hardware
  • Neural program synthesis for superoptimization
  • Rethinking compiler design
  • Software testing
  • AI for code: synthesis and translation
  • Developer-guided compilation for ultra-low power and security
  • Neural machine translation for superoptimization
  • Synthesis for auto-parallelization
  • Automatic code generation for any accelerator
  • supervised by Michael O'Boyle and Bjoern Franke and Tobias Grosser


    The exact details are flexible depending on the candidate's interests and background.


    Candidates from all countries are welcome. Under-represented groups are particularly encouraged to apply.


    The studentships will cover all tuition fees and a tax-free stipend at the EPSRC rate 17,688 per annum for 3.5 years

    Candidate Profile

    Suitable candidates will have a strong first degree in Computer Science or Mathematics and a strong interest in optimizing compilers, machine learning or verification. The exact topic of the PhD is flexible depending on the candidate's interests. We are looking for the brightest minds to pursue research in a cutting-edge arena. Candidate with Masters degrees or significant industrial experience are also strongly encouraged to apply.

    Research Partner

    The Institute for Computing Systems Architecture (ICSA) is one of seven research institutes in the School of Informatics at the University of Edinburgh. ICSA is primarily concerned with the architecture and engineering of future computing systems. Within its five research groups, ICSA covers topics which include: performance and scalability, innovative algorithms, architectures, compilers, languages, and protocols. Candidates are encouraged to contact Michael O'Boyle , Bjoern Franke or Tobias Grosser to informally discuss the project further. Formal application will be through the School's normal PhD application process.