Logic List Mailing Archive

Postdoctoral position on "Dialogical Foundations of Semantics", Lisbon (Portugal), Deadline: yesterday!

Within the ESF programme LogICCC
(http://www.esf.org/activities/eurocores/programmes/logiccc.html) the
Portuguese partner of the DiFoS (Dialogical Foundations of Semantics)
project offers a Post-Doc grant for (up to) 36 months.

Applications are invited for a Post-Doc grant (Bolsa de
Pos-Doutoramento (BPD)) funded by the Portuguese Fundacao para a
Ciencia e Tecnologia.

The grant is given for one year and can be extended up to three years (36 
months). It is paid according to the stipend regulations of the Fundacao 
para a Ciencia e Tecnologia which amounts (in 2008) for 1495 per month.

The 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

Any candidate must have a background in theorem proving, from the 
mathematical and/or computer science side. Knowledge of the proof system 
"Minlog" (http://www.mathematik.uni-muenchen.de/~minlog/) is desirable, 
although not formally required.

Candidates will profit from the technical facilities and expertise 
available at CENTRIA, at the Faculdade de Ciencias e Tecnologia, 
Universidade Nova de Lisboa, where they will be stationed.

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

Applications from candidates which are about to finish their PhD soon are 
welcome, too. Such an application should indicate a date when the PhD is 
planned to be finished.

Application deadline: 20 January 2009

Job/Fellowship Reference: LogICCC-DiFoS-3-2008