News
Open PostDoc Position (August 3, 2011)
The Computational Logic research group is looking for a postdoctoral researcher for a 6 year university position.
Candidates must hold a PhD degree in computer science. A strong background in computational logic (in particular SMT, automated and interactive theorem proving) is desired. The ideal candidate complements existing strengths and enjoys working with students at all levels. Candidates are expected to conduct research leading to a habilitation and contribute to teaching and administration. Knowledge of German is not essential.
The position is a full-time “B1/3 position” with teaching obligations of 4 hours per semester. The annual gross salary is approximately EUR 46,000. The official job advert appeared in the “Mitteilungsblatt” of the University on 3 August 2011 (code MIP-6659)
Applications (including CV, publication list, and two references) may be mailed to the address stated there or, by email, to
no later than 24 August 2011. Informal inquiries are also welcome at the same email address. The preferred starting date is 2 November 2011.
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: