the scandinavian logic society

slideshow 1

PhD-student position in Mathematical Logic, Stockholm

The Department of Mathematics at Stockholm University announces a PhD-student
position in mathematical logic. A prospective student will have the opportunity to
engage in exciting research related to constructive and category-theoretic foundations of mathematics.
Possible subjects include for instance: type theory, categorical logic and constructive mathematics and its algorithmic content.

The Stockhom-Uppsala area has a longstanding Logic Seminar with many international
guests (

For further information and instructions how to apply, see the Department webpage

The deadline for applications is November 20, 2011.

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.