Logic List Mailing Archive

Postdoctoral position (5y) in computational logic, Innsbruck (Austria), Deadline: 2 Feb 2017

5 year postdoc position in computational logic
               ==============================================

The University of Innsbruck invites applications for a 5 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 automated and interactive theorem proving, SMT solving, term
rewriting, type theory) 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-9118) appeared at

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

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=9118

no later than 2 February 2017. The starting date for the position is
1 March 2017. 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/

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

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

City of Innsbruck:
http://www.innsbruck.at/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam