PhD positions in Nottingham, UK

[Nicolai Kraus]

Dear all,

If you are a student currently looking for a PhD position in the field

of HoTT, please see the advert below.

Additional information can be found at:

https://www.cs.nott.ac.uk/~pszgmh/10-phds.html

----------------------------------------------------------------------------------------------------

The School of Computer Science at the University of Nottingham
in the UK is seeking applications for 10 fully-funded PhD
studentships: http://tinyurl.com/ten-phd-2024

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