* PhD-student position in Mathematical Logic
@ 2011-10-24 14:00 palmgren
0 siblings, 0 replies; only message in thread
From: palmgren @ 2011-10-24 14:00 UTC (permalink / raw)
To: categories
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
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-10-24 14:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-10-24 14:00 PhD-student position in Mathematical Logic palmgren
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).