Logic List Mailing Archive

PhD student position in mathematical logic, Stockholm (Sweden), Deadline: 20 Nov 2011

PhD-student position in Mathematical Logic

The Department of Mathematics at Stockholm University announces a 
PhD-student position in mathematical logic. A prospective student will 
have the opportunity to engage in exciting research related to 
constructive and category-theoretic foundations of mathematics.  Possible 
subjects include for instance: type theory, categorical logic and 
constructive mathematics and its algorithmic content.

The Stockhom-Uppsala area has a longstanding Logic Seminar with many 
international guests 
(www.math.uu.se/Research/Seminars/Logic/?languageId=1)


For further information and instructions how to apply, see the Department 
webpage

www.math.su.se/pub/jsp/polopoly.jsp?d=14714&a=99997

The deadline for applications is November 20, 2011.



Erik Palmgren
Professor of Mathematical Logic
Department of Mathematics
Stockholm University
E-mail: palmgren@math.su.se