Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

CENTRIA news

Post-Doc grant and PhD grant availableWithin 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
The Research grant holder will collaborate in some of the following sub-projects of the DiFoS-project:
  • Interaction in computer-aided theorem proving
  • Dialogues and arguments in mathematical proofs
  • Zero knowledge proofs/Extended logic programming
The official announcements can be found at:
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: 22 September 2008.
Wednesday, 10th of September 2008
Also, browse CENTRIA's current or past news.
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT