Postdoc position for 2 years 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. Erik Palmgren Professor of Mathematical Logic Department of Mathematics Stockholm University SE-10691 Stockholm palmgren@math.su.se [For admin and other information see: http://www.mta.ca/~cat-dist/ ]