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.lumsdaine@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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]