[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: [email protected]
