Jobs

4-year PhD position

The University of Innsbruck invites applications for a 4 year PhD position in the Computational Logic research group. Candidates must hold a master degree in computer science or mathematics. Knowledge of term rewriting and automated deduction is desired. Candidates close to obtaining a master degree are also invited to apply. Knowledge of German is not required. The position is an official university position with 15 September 2024 as starting date. The main task will be to pursue research leading to a PhD. The position comes with teaching obligations of 2 semester hours. The minimum gross salary (stipulated by collective agreement) for this position amounts to € 1789 / 2683 per month (14 times).

Applications (including CV, list of presentations, motivation letter, possible research topics) must be submitted electronically, until 6 September 2024. Informal inquiries may be addressed to

aart.middeldorp at uibk.ac.at

The city of Innsbruck, which hosted the Olympic Winter Games in 1964, 1976 and 2012 (YOG), 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
University of Innsbruck
City of Innsbruck

Application deadline: 6 September 2024