Stockholm University: 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 deadline for applications is Sunday 20 November 2011. For more information, see http://www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=99997.