[isabelle] Post doc position available at Innsbruck
The University of Innsbruck/Austria invites applications for a 2 year
at the Department of Computer Science, preferably starting before 1
March 2007. The position will be affiliated to the Computational Logic
The position involves research in the area of interactive theorem
proving, and experience with proof assistants such as Coq or Isabelle
(preferred) is required. It is not linked to a particular project, but
the candidate is expected to work in the domain of mathematical
libraries (for proof assistants) and certified algorithms.
The position is a so-called "Kategorie I" position (according to the
Austian salary scheme) with teaching obligations of 4 hours.
Candidates are required to hold a PhD degree. The annual gross salary
is approx. EUR 48,000 including teaching supplement. Fluency in German
is of advantage but not essential since teaching in the Masters
Programme is in English. English is also the working language of the
Computational Logic group.
The official job advert will appear in the "Mitteilungsblatt" of the
University on 3 January 2007 (code 4239). Applications may be mailed
to the address stated there or, by e-mail, to
clemens.ballarin at uibk.ac.at no later than 24 January 2007. Please
include three references. Informal enquiries are also welcome at the
same e-mail address.
Further information is available from the following urls:
Computer Science Department:
Mitteilungsblatt of the University:
City of Innsbruck:
Univ.-Prof. Dr. Clemens Ballarin
Institut fuer Informatik, Universitaet Innsbruck
Technikerstr. 21a, 6020 Innsbruck, Austria
Phone: +43-512-507-6437, Fax: +43-512-507-9887
Phone: +49-89-289-17326, Fax: +49-89-289-17307
This archive was generated by a fusion of
Pipermail (Mailman edition) and