European PhD Program in Computational Logic, Bozen (Italy), Dresden (Germany), Wien (Austria), Lisbon (Portugal)

The European PhD Program in Computational Logic (EPCL) is a distributed three-years PhD program jointly offered by four leading European universites in the field: The Free University of Bozen-Bolzano (Italy), the Technische Universität Dresden (Germany, coordinator), the Technische Universität Wien (Austria) and the Universidade Nova de Lisboa (Portugal).

The program involves three years of PhD study in at least two of the European partner universities. It leads to a joint doctoral degree of the partner universities at which the studies have been physically performed. The language of the program is English. Financial support is available in the form of positions and scholarships.

Necessary requirements for participation in EPCL are a Master's degree in Computer Science or Mathematics, or an equivalent degree; the proof of adequate knowledge of English; and substantial knowledge in the areas Foundations of Logics, Foundations of Artificial Intelligence and Declarative Programming.

The program will start on 1 October 2011. Applications have to be electronically submitted on the Webpage http://www.epcl-study.eu/, before the Application Deadline on 15 May 2011. If you have enquiries, please do not hesitate to contact the coordinator of the program, Prof. Steffen Höldobler, at sh at iccl.tu-dresden.de.