Dear colleagues, Applications are invited for a 12-months postdoctoral position in Mathematical Logic at the Department of Mathematics of the University of Padua, Italy. The call is aimed at researchers holding a PhD degree which has been awarded from no more than 8 years. The title of the project is "Predicative and intuitionistic development of Grothendieck topos theory'' and it will be supervised by Prof. Giovanni Sambin. All applications in the area of Mathematical Logic will be considered. However, preference will be given to those candidates with some experience in constructive or categorical methods in mathematics. The salary is about 1500 euros per month. The applications have to be sent before June 29, 2012. For further information, please read: http://www.math.unipd.it/news-files/2012/bando_09_2012.pdf (in ITALIAN! Please contact us by e-mail if you don't read Italian). We encourage all applicants to contact us in advance for more specific information on the expected research topic. The applications should be sent by ORDINARY mail to the address of the department. However, you could send your application to us by e-mail and we will print and deliver it. Please tell anyone who might be interested about this call. Best regards, Giovanni Sambin Milly Maietti Francesco Ciraulo E-mails: {sambin, maietti, ciraulo} AT math.unipd.it [For admin and other information see: http://www.mta.ca/~cat-dist/ ]