[isabelle] postdoc position (6 years) in Innsbruck



             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
(in particular term rewriting) 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-8628) appeared at

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

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

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

no later than 30 June 2015. The starting date for the position is
1 October 2015. 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/

Institute of Computer Science:
http://informatik.uibk.ac.at/

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

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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.