News

Open PhD position   (28 July, 2010)

The Computational Logic research group is looking for a talented PhD student for a 4 year university position.

Candidates are required to have a master degree in computer science or mathematics. A strong interest in computational logic (automated reasoning, theorem proving, SMT solving) is an asset. So is the ability to implement your ideas. Candidates with a strong theoretical background in related areas are also encouraged to apply. The ideal candidate furthermore enjoys the opportunity of working with students at all levels. Candidates are expected to contribute to research, teaching and administration. Candidates are expected to conduct research leading to a doctorate degree. Knowledge of German is an advantage but not essential.


The position is a “B1/1 (25 hours/week) position” with an initial annual gross salary of approximately EUR 21.200. The preferred starting date is 1 September 2010. The official job advert appeared in the “Mitteilungsblatt” of the University on 7 July 2010 (code MIP-6126)

http://orawww.uibk.ac.at/public_prod/owa/karriereportal.home

Applications (including CV) may be mailed to the address stated there or, by email, to

aart dot middeldorp at uibk dot ac dot at

no later than 11 August 2010. Informal inquiries are also welcome at the same email address.

The city of Innsbruck, which hosted the Olympic Winter Games in 1964 and 1976, is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine environment and urban life in this historic town provides a high quality of living. The University of Innsbruck has a long tradition dating back to the 16th century and offers a wide spectrum of research and teaching activities with interesting opportunities for interdisciplinary collaboration.

Links: