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 (or a comparable research activity). The title of the project is "From Constructive Mathematics to Foundations: models of type theory in the Basic Picture'' 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 methods in mathematics. The salary is about 1500 euros per month. The applications should be sent before February 10, 2014. For further information, please visit: http://www.math.unipd.it/it/news/?id=1435 (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. Note that the applications should be sent by registered mail (with "return receipt requested") to the address of the department. It is also possible to use "certified e-mail". Best regards, Francesco Ciraulo Milly Maietti Giovanni Sambin E-mails: {ciraulo, maietti, sambin} AT math.unipd.it [For admin and other information see: http://www.mta.ca/~cat-dist/ ]