Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student position in mathematical logic, Stockholm (Sweden)

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.

For further information and instructions how to apply, see the Department webpage at http://www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=99997. The deadline for applications is November 20, 2011.

Please note that this newsitem has been archived, and may contain outdated information or links.