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:
The deadline for application is January 23, 2012. Note that applications should be sent ordinary mail.