Dear all,
The School of Computer Science at the University of Nottingham
in the UK is seeking applications for 10 fully-funded PhD
studentships: https://tinyurl.com/ten-phds-2025
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 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 these
notes on the process may be useful: tinyurl.com/phd-notes
Nicolai Kraus - not seeking a student through this scheme, but
has two other PhD positions available: tinyurl.com/kraus-phds
Dan Marsden - category theory, logic, finite model theory,
diagrammatic reasoning, foundations of computer science.
Best wishes,
The FP Lab
University of Nottingham
+-----------------------------------------------------------+
10 Fully-Funded PhD Studentships
School of Computer Science
University of Nottingham, UK
https://tinyurl.com/ten-phds-2025
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
+-----------------------------------------------------------+
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 mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
