[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
<<attachment: Aart_Middeldorp.vcf>>