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

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/39c7198e-5e87-4119-a825-9d82ffe19a19n%40googlegroups.com.