[isabelle] postdoctoral researcher position in Innsbruck
The University of Innsbruck invites applications for a 6 year position as
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. The ideal candidate complements existing
strengths and 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 46,000.
The official job advert appeared in the "Mitteilungsblatt" of the
University on 3 August 2011 (code MIP-6659)
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 24 August 2011. Informal inquiries are also welcome at the
same email address. The preferred starting date is 2 November 2011.
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
fn:Prof. Dr. Aart Middeldorp
org:Institute of Computer Science;University of Innsbruck
email;internet:aart.middeldorp at uibk.ac.at
This archive was generated by a fusion of
Pipermail (Mailman edition) and