Email Gateway (Aug 18 2022 at 10:34): Email Gateway (Aug 18 2022 at 10:34):From: Aart Middeldorp <Aart.Middeldorp@uibk.ac.at>
The University of Innsbruck invites applications for a 4 year position as
postdoctoral researcher
at the Computational Logic group of the Institute of Computer Science.
Depending on a change in the law and performance, this position might
lead to a permanent position at the associate professor level. The
preferred starting date is 1 September 2007.
Candidates are required to hold a PhD degree. A strong background in
computational logic (model checking, automated reasoning) is an asset.
So is the ability to implement your ideas. Candidates with a strong
theoretical background in related areas are also encouraged to apply.
The ideal candidate furthermore enjoys the opportunity of working with
students at all levels. Candidates are expected to contribute to research,
teaching and administration. Knowledge of German is an advantage but not
essential.
The position is a so-called "Kategorie I" position (according to the
Austrian salary scheme) with teaching obligations of 4 hours. The annual
gross salary is approximately EUR 50,000.
The official job advert appeared in the "Mitteilungsblatt" of the
University on 6 June 2007 (code MIP-4573)
http://www.uibk.ac.at/personalabteilung/nuetzliches_interessantes/bewerber/ausschreibungen/
Applications (including CV, publication list, and two references) may
be mailed to the address stated there or, by email, to
no later than 27 June 2007. Informal inquiries are also welcome at the
same email address.
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:
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
Email Gateway (Aug 18 2022 at 18:14):From: Aart Middeldorp <Aart.Middeldorp@uibk.ac.at>
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
Aart_Middeldorp.vcf
Last updated: Apr 24 2024 at 20:16 UTC