Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* PhD-positions in mathematics at Stockholm University
@ 2018-03-02 10:42 Erik Palmgren
  0 siblings, 0 replies; only message in thread
From: Erik Palmgren @ 2018-03-02 10:42 UTC (permalink / raw)
  To: homotopytypetheory; +Cc: Peter LeFanu Lumsdaine


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










^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2018-03-02 10:42 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-03-02 10:42 PhD-positions in mathematics at Stockholm University Erik Palmgren

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).