10 Fully-Funded PhD Studentships
The School of Computer Science at the University of Nottingham
is seeking applications for 10 fully-funded PhD studentships.
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;
the application deadline is 6th April 2025:
- 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 - not seeking a new student this year, but potential candidates may find these notes on the application process useful.
- Nicolai Kraus - not seeking a new student through this scheme, but has two other PhD positions available through an ERC project on type theory.
- Dan Marsden - category theory, logic, finite model theory, diagrammatic reasoning, foundations of computer science.
10 Fully-Funded PhD Studentships
School of Computer Science
University of Nottingham, UK
Applications are invited from home and international students for up to 10 fully-funded PhD studentships offered by the School of Computer Science, starting on 1st October 2025.
The topics for the studentships are open, but should relate to the interests of one of the School’s research groups: Cyber-physical Health and Assistive Robotics; Computational Optimisation and Learning Lab; Computer Vision Lab; Cyber Security; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality Lab; Lab for Uncertainty in Data and Decision Making; Visualisation and Computer Graphics; Responsible Digital Futures
The studentships are fully funded for 3.5 years and include a stipend of £19,237 per year and tuition fees. Applicants are normally 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: Sunday 6th April 2025