Logic List Mailing Archive

postdoc position at Utrecht (fwd)

Postdoc position available

Dear colleagues,

At Utrecht we have a postdoctoral research position availabe in the domain
of categorical logic. The position is for three years and should start
January 1, 2003, or soon thereafter. The position is funded by NWO, and is
tied to a specific research project, which concerns (a combination of some
of) the key words topos theory, realizability, categorical semantics of
predicative theories, Martin-Loef type theories, Constructive Set Theory.

Candidates should have a PhD degree and some research experience in at
least one of these topics.

If you are interested, please send an e-mail to one of us before October
31, together with a CV (or better, an address where we download one).

Ieke Moerdijk   (moerdijk@math.uu.nl)
Jaap van Oosten (jvoosten@maath.uu.nl)