[TYPES/announce] Postdoc position in Mathematical Logic at Stockholm University

[Erik Palmgren]

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 at math.su.se

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20111217/b61526e7/attachment-0001.html>