Like the pop song, "I'm 22 for a moment..."
On Friday, December 5, 2025 at 05:13:26 AM EST, Graham Hutton (staff) via
Haskell-Cafe <[email protected]> wrote:
Dear all,
The School of Computer Science at the University of Nottingham
in the UK is seeking applications for a number of fully-funded
PhD studentships: https://tinyurl.com/uon-phds-2026
Applicants in the area of the Functional Programming Lab
(tinyurl.com/fp-notts) are strongly encouraged! If you are
interested in applying, please contact a potential supervisor
as soon as possible; the application deadline is 7th January 2026:
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.
Best wishes,
The FP Lab
University of Nottingham
+-----------------------------------------------------------+
Fully-Funded PhD Studentships
School of Computer Science
University of Nottingham, UK
https://tinyurl.com/uon-phds-2026
Applications are invited for fully-funded PhD studentships in
the School of Computer Science, starting on 1st October 2026.
The topics for the studentships are open, but your research
proposal should relate to the interests of one of the School's
research groups: Cyber-Physical Health and Assistive Robotics;
Computational Optimisation and Learning; Computer Vision; Cyber
Security; Functional Programming; Intelligent Modelling and
Analysis; Mixed Reality; Uncertainty in Data and Decision Making;
Visualisation and Computer Graphics; Responsible Digital Futures.
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
+-----------------------------------------------------------+
This message and any attachment are intended solely for the addressee and may
contain confidential information. If you have received this message in error,
please contact the sender and delete the email and attachment. Any views or
opinions expressed by the author of this email do not necessarily reflect the
views of the University of Nottingham. Email communications with the University
of Nottingham may be monitored where permitted by law.
_______________________________________________
Haskell-Cafe mailing list -- [email protected]
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post.
_______________________________________________
Haskell mailing list -- [email protected]
To unsubscribe send an email to [email protected]
