the scandinavian logic society

2 years postdoc position in Mathematical Logic at Stockholm University, Department of Mathematics.

The research in mathematical logic at the department include such subjects as constructive mathematics, point-free topology and locale theory, semantics and proof theory of type theory and constructive set theory, category-theoretic logic, topos theory and constructive aspects of mathematical logic.

The department is now looking for a postdoc interested to work in the areas of the logic group and related subjects.

For details, and how to apply, see the advertisement at the department web page:

http://www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=101279

The deadline for application is January 23, 2012. Note that applications should be sent ordinary mail.