[isabelle] postdoctoral researcher position in Innsbruck



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. 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)

  http://orawww.uibk.ac.at/public_prod/owa/karriereportal.home

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:

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/

---

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
begin:vcard
fn:Prof. Dr. Aart Middeldorp
n:Middeldorp;Aart
org:Institute of Computer Science;University of Innsbruck
adr:;;Technikerstr. 21a;Innsbruck;;6020;Austria
email;internet:aart.middeldorp at uibk.ac.at
x-mozilla-html:FALSE
url:http://cl-informatik.uibk.ac.at/~ami/
version:2.1
end:vcard



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