Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* Two positions as Associate professor in mathematics at Stockholm University
@ 2017-09-28 21:38 Erik Palmgren
  0 siblings, 0 replies; only message in thread
From: Erik Palmgren @ 2017-09-28 21:38 UTC (permalink / raw)
  To: homotopytypetheory


These positions might be of interest to someone wanting to join the
mathematical logic group in Stockholm, which has a
strong research group in constructivism, categorical logic
and (homotopy) type theory.

Associate Professors in Mathematics (2)
at the Department of Mathematics. Closing date: 2 October 2017.

http://www.su.se/english/about/working-at-su/jobs?rmlang=UK&rmpage=job&rmjob=3158

http://www.math.su.se/english/research/research-groups/research-group-in-mathematical-logic-1.330078

Realistically it involves a readiness to teach in Swedish
within two years of employment, and to teach general undergradute
courses in mathematics. Note that the employment competition is within
all fields of mathematics, but closeness to one of the research
groups is probably favourable.

Erik Palmgren

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

only message in thread, other threads:[~2017-09-28 21:38 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-09-28 21:38 Two positions as Associate professor 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).