Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] postdoc position (6 years) in CL group in Inns...

view this post on Zulip Email Gateway (May 11 2021 at 09:56):

From: Aart Middeldorp <>
6 year postdoc position in computational logic

The University of Innsbruck invites applications for a 6 year postdoctoral
position in the Computational Logic research group. Candidates must hold a
PhD degree in computer science. A strong background in computational logic
is required and knowledge of term rewriting is a welcome additional
qualification. 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 55,000.
The official job advert (reference MIP-11910) appeared at

Applications (including CV, publication list, and two letters of
recommendation) must be submitted electronically at

no later than 28 May 2021. The starting date for the position is
1 October 2021. Informal inquiries may be addressed to

aart.middeldorp at

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:

Last updated: Jul 15 2022 at 23:21 UTC