[TYPES/announce] 4 year PhD position in Innsbruck (application deadline: 27 May 2020)

[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 2020 as starting date.
The main task will be to pursue research leading to a dissertation. The
position comes with teaching obligations of 2 hours per semester. The minimum
gross salary (stipulated by collective agreement) for this position amounts
to € 1.465 per month (14 times).

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

http://orawww.uibk.ac.at/public/karriereportal.details?asg_id_in=11245

Applications (including CV, list of presentations, motivation letter, possible
research topics) must be submitted electronically at

https://orawww.uibk.ac.at/public/karriereportal.bewerben?page=w&a_id=11245

We look forward to receiving your online application (code MIP 11245) until

May 27, 2020

Informal inquiries may be addressed to

aart.middeldorp at uibk.ac.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:
http://cl-informatik.uibk.ac.at/

University of Innsbruck:
http://www.uibk.ac.at/

City of Innsbruck:
http://www.innsbruck.at/