[FOM] PhD-student position in Mathematical Logic

palmgren at math.uu.se palmgren at math.uu.se
Mon Oct 24 10:02:53 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

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

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


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 FOM mailing list