Logic List Mailing Archive

Postdoctoral position in mathematical logic (2y), Stockholm (Sweden), Deadline: 23 Jan 2012

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.


Erik Palmgren
Professor of Mathematical Logic
Department of Mathematics
Stockholm University
SE-10691 Stockholm
palmgren@math.su.se