Logic List Mailing Archive

Postdoctoral position in mathematical logic, Padova (Italy), Deadline: 10 Feb 2014

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