[TYPES/announce] PhD positions in Nottingham

[Nicolai Kraus]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240216/c84a04a1/attachment-0001.htm>