[TYPES/announce] 4-year PhD position in Innsbruck

[Aart Middeldorp]

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).

The official job advert (code MIP-14526) appeared at

https://urldefense.com/v3/__https://lfuonline.uibk.ac.at/public/karriereportal.details?asg_id_in=14526__;!!IBzWLUs!UIR8Lgh7ANasm6uK6wLU-WN0uG7nmSE5ztcE6x4-JvyCmD6GXKO5yPm3BZ105dcvOGAsGsNlxJOILcbyGbFL0yQ7seMkxWlfUuedAoCjXuDD$ 

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:
https://urldefense.com/v3/__http://cl-informatik.uibk.ac.at/__;!!IBzWLUs!UIR8Lgh7ANasm6uK6wLU-WN0uG7nmSE5ztcE6x4-JvyCmD6GXKO5yPm3BZ105dcvOGAsGsNlxJOILcbyGbFL0yQ7seMkxWlfUuedAprkxYMx$ 

University of Innsbruck:
https://urldefense.com/v3/__https://www.uibk.ac.at/__;!!IBzWLUs!UIR8Lgh7ANasm6uK6wLU-WN0uG7nmSE5ztcE6x4-JvyCmD6GXKO5yPm3BZ105dcvOGAsGsNlxJOILcbyGbFL0yQ7seMkxWlfUuedAs6R-IWD$ 

City of Innsbruck:
https://urldefense.com/v3/__https://www.innsbruck.at/__;!!IBzWLUs!UIR8Lgh7ANasm6uK6wLU-WN0uG7nmSE5ztcE6x4-JvyCmD6GXKO5yPm3BZ105dcvOGAsGsNlxJOILcbyGbFL0yQ7seMkxWlfUuedAkqJhPFZ$