[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
6 year postdoc position in computational logic ============================================== The University of Innsbruck invites applications for a 6 year postdoctoral position in the Computational Logic research group. Candidates must hold a PhD degree in computer science. A strong background in computational logic is required and knowledge of term rewriting is a welcome additional qualification. The ideal candidate 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 55,000. The official job advert (reference MIP-11910) appeared at https://lfuonline.uibk.ac.at/public/karriereportal.details?asg_id_in=11910 Applications (including CV, publication list, and two letters of recommendation) must be submitted electronically at https://lfuonline.uibk.ac.at/public/karriereportal.bewerben?page=w&a_id=11910 no later than 28 May 2021. The starting date for the position is 1 October 2021. Informal inquiries may be addressed to aart.middeldorp at uibk.ac.at 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. Further information is available from the following links: Computational Logic: http://cl-informatik.uibk.ac.at/ Department of Computer Science: http://informatik.uibk.ac.at/ University of Innsbruck: http://www.uibk.ac.at/ City of Innsbruck: http://www.innsbruck.at/