European PhD Program in Computational Logic

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 and leads to a joint doctoral degree. The language of the program is English. Financial support is available in the form of positions and scholarships.

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

The program starts annually in the winter term. Applications for 2012 have to be electronically submitted before 15 May 2012. For more information and an online application form, see http://www.epcl-study.eu/.