Postdoctoral position in computational logic (6y), Innsbruck (Austria) (tomorrow)

The University of Innsbruck invites applications for a 6 year position as postdoctoral researcher at the Computational Logic research group.

Candidates must hold a PhD degree in computer science. A strong background in computational logic (in particular SMT, automated and interactive theorem proving) is desired. Candidates are expected to conduct research leading to a habilitation and contribute to teaching and administration. The position is a full-time "B1/3 position" with teaching obligations of 4 hours per semester. The annual gross salary is approximately EUR 46,000. Knowledge of German is not essential.

Applications must be mailed no later than 24 August 2011. The preferred starting date is 2 November 2011. For more information, see http://cl-informatik.uibk.ac.at/news/open-postdoc-position-3-august-2011/ or contact aart.middeldorp at uibk.ac.at