subject: postdoc at Utrecht body: Postdoc position available Dear category theorists, 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, realisability, 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) 10-Sep-2002 21:31:07 -0300,3114;000000000000-00000000