[isabelle] Post doc position available at Innsbruck

The University of Innsbruck/Austria invites applications for a 2 year position as

  Postdoctoral Assistant

at the Department of Computer Science, preferably starting before 1 March 2007. The position will be affiliated to the Computational Logic group.

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