[TYPES/announce] PhD-student position in Mathematical Logic at Stockholm University

Erik Palmgren palmgren at math.su.se
Mon Oct 24 10:57:47 EDT 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


The deadline for applications is November 20, 2011.

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

More information about the Types-announce mailing list