Stockholm University announces a number of fully funded
PhD-positions in mathematics.
Among the possible topics are mathematical logic including
(homotopy) type theory and categorical logic.
See
https://www.su.se/english/about/working-at-su/phd?rmpage=job&rmjob=4914&rmlang=UK
for details and contacts. Missing in this list of advisors is Peter
LeFanu Lumsdaine <
p.l.lu...@gmail.com>. Please contact him directly
for further information about possible projects or topics.
The positions are appointed in competition with other topics in mathematics.
Please forward to anyone who may be interested.
Erik Palmgren