Browse our site
About
People
Research Areas
Projects
Publications
Seminars
News
Current
Past
You are here:
Home
News
Past
Post-Doc grant
CENTRIA news
Post-Doc grant
Within the ESF programme
LogICCC
the Portuguese partner of the DiFoS (Dialogical Foundations of Semantics) project offers a Post-Doc grant for (up to) 36 months and a Research grant (on the level of a PhD student) for (up to) 24 months.
The Post-Doc grant holder will collaborate in the following sub-projects of the DiFoS-project:
Interaction in computer-aided theorem proving
Dialogues and arguments in mathematical proofs
More information about the project is available at:
http://centria.di.fct.unl.pt/~kahle/logiccc/dacap.html
The official announcement can be found at:
http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=12715
Please send, by email, a letter of intent and a detailed curriculum vitae to:
Prof. Reinhard Kahle, kahle@mat.uc.pt
CENTRIA
Universidade Nova de Lisboa
2825-516 Caparica
Portugal
Application deadline: 20 January 2009.
Monday, 29th of December 2008
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541
