the scandinavian logic society

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.