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