[isabelle] postdoctoral researcher position in Innsbruck

The University of Innsbruck invites applications for a 4 year position as

     postdoctoral researcher

at the Computational Logic group of the Institute of Computer Science.
Depending on a change in the law and performance, this position might
lead to a permanent position at the associate professor level. The
preferred starting date is 1 September 2007.

Candidates are required to hold a PhD degree. A strong background in
computational logic (model checking, automated reasoning) is an asset.
So is the ability to implement your ideas. Candidates with a strong
theoretical background in related areas are also encouraged to apply.
The ideal candidate furthermore enjoys the opportunity of working with
students at all levels. Candidates are expected to contribute to research,
teaching and administration. Knowledge of German is an advantage but not

The position is a so-called "Kategorie I" position (according to the
Austrian salary scheme) with teaching obligations of 4 hours. The annual
gross salary is approximately EUR 50,000.

The official job advert appeared in the "Mitteilungsblatt" of the
University on 6 June 2007 (code MIP-4573)


Applications (including CV, publication list, and two references) may
be mailed to the address stated there or, by email, to

  aart.middeldorp at uibk.ac.at

no later than 27 June 2007. Informal inquiries are also welcome at the
same email address.

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. The University of
Innsbruck has a long tradition dating back to the 16th century and offers
a wide spectrum of research and teaching activities with interesting
opportunities for interdisciplinary collaboration.

Further information is available from the following links:

Institute of Computer Science:
University of Innsbruck:
City of Innsbruck:


Univ.-Prof. Dr. Aart Middeldorp
Institute of Computer Science, University of Innsbruck
Technikerstr. 21a, 6020 Innsbruck, Austria
phone: +43 512 507 6430  fax: +43 512 507 9887

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