PhD-student position in Mathematical Logic 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 (www.math.uu.se/Research/Seminars/Logic/?languageId=1) For further information and instructions how to apply, see the Department webpage www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=99997 The deadline for applications is November 20, 2011. Erik Palmgren Professor of Mathematical Logic Department of Mathematics Stockholm University E-mail: palmgren@math.su.se [For admin and other information see: http://www.mta.ca/~cat-dist/ ]