[HoTT] PhD positions at Chalmers

[HoTT] PhD positions at Chalmers

[Nils Anders Danielsson]

Chalmers University of Technology in Gothenburg, Sweden is hiring up
to five PhD students:

  https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12588&rmlang=UK

One of the proposed projects, "A compiler for cubical type theory", is
related to homotopy type theory. As a PhD student working on this
project you would be supervised by me and part of a group which
currently includes Andreas Abel, Robin Adams, Jean-Philippe Bernardy,
Ana Bove, Thierry Coquand, Peter Dybjer, Ulf Norell and Christian
Sattler, as well as postdocs and PhD students.

Note that this kind of position comes with a salary and benefits, and
that there are no tuition fees.

Application deadline: April 15.

-- 
/NAD

-- 
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/6bc4ac9e-352e-4a93-a6f4-46d790d336fe%40cse.gu.se.