Fully-Funded PhD Studentships
Functional Programming Lab
School of Computer Science
University of Nottingham, UK
The School of Computer Science at the University of Nottingham in the UK is seeking applications for a number of fully-funded PhD studentships, started on 1st October 2026.
Applicants in the area of the Functional Programming Lab are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible:
- Thorsten Altenkirch - constructive logic, proof assistants,
homotopy type theory, category theory, lambda calculus.
- Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory,
proof assistants, constructive mathematics, and related topics.
- Graham Hutton - functional programming, haskell, category
theory, program verification, program calculation.
- Nicolai Kraus - not seeking a student through this scheme, but
has separate funding available for a home/international student.
- Dan Marsden - category theory, logic, finite model theory, diagrammatic reasoning, foundations of computer science.
The studentships available are fully funded for 3.5 years and include a stipend of £20,780 per year and tuition fees for home students. They are open to students of any nationality, but non-home students must be able to cover the additional cost of international tuition fees. Applicants are expected to have a first-class Bachelor or Masters degree or international equivalent, in a related discipline.
If you are interested in applying, please contact a potential supervisor as soon as possible, and at least two weeks prior to the closing date. If the supervisor wishes to support your application, they will direct you to make an official application through the MyNottingham system.
Closing date for applications: Wednesday 7th January 2026