Postdoctoral position in computational logic (4y; possibility of tenure-track), Innsbruck (Austria)

The University of Innsbruck invites applications for a 4 year position as postdoctoral researcher at the Computational Logic group of the Institute of Computer Science. Depending on a change in the law and performance, this position might lead to a permanent position at the associate professor level. The preferred starting date is 1 September 2007.

Candidates are required to hold a PhD degree. A strong background in computational logic (model checking, automated reasoning) 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. Knowledge of German is an advantage but not essential.

The position is a so-called "Kategorie I" position (according to the Austrian salary scheme) with teaching obligations of 4 hours. The annual gross salary is approximately EUR 50,000.

The official job advert appeared in the "Mitteilungsblatt" of the University on 6 June 2007 (code MIP-4573), at http://www.uibk.ac.at/personalabteilung/nuetzliches_interessantes/bewerber/.

Applications (including CV, publication list, and two references) may be mailed to the address stated there or, by email, to aart.middeldorp at uibk.ac.at no later than 27 June 2007. 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.

Further information is available from the following links:
Institute of Computer Science: http://informatik.uibk.ac.at/
University of Innsbruck: http://www.uibk.ac.at/
City of Innsbruck: http://www.innsbruck.at/