5 year postdoc position

The University of Innsbruck invites applications for a 5 year postdoctoral position in the Computational Logic research group. Candidates must hold a PhD degree in computer science. A strong background in computational logic (in particular automated and interactive theorem proving, SMT solving, term rewriting, type theory) is desired. The ideal candidate 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 50,000. The official job advert (reference MIP-9118) appeared at:

Applications (including CV, publication list, and two letters of recommendation) must be submitted electronically no later than 2 February 2017. The starting date for the position is 1 March 2017. Informal inquiries may be addressed to Aart Middeldorp.

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.

Further information is available from the following links:

Computational Logic:

Department of Computer Science:

University of Innsbruck:

City of Innsbruck:

Application deadline: 2 February 2017

Official link