[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__http://tinyurl.com/ten-phd-2024__;!!IBzWLUs!UeJtmvJtx850hhSFkwqzEM0NntZ_iVd8O6sS8xOB8SN0fpPhMueqy6PJO_0qWS-6hhmg82LOXdjSNB-Q1iXZD_c0MXUCpQuJ_8EluQ$
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 April 2024:
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 currently seeking a new student.
Nicolai Kraus - homotopy type theory, higher category theory,
constructive mathematics, and related topics.
Dan Marsden - category theory, logic, finite model theory,
diagrammatic reasoning, foundations of computer science.
Best wishes,
The FP Lab
University of Nottingham
