Email Gateway (Aug 22 2022 at 15:26): Email Gateway (Aug 22 2022 at 15:26):From: Cezary Kaliszyk <cezarykaliszyk@gmail.com>
We invite candidates for multiple PhD student and Postdoc researcher
positions to start in 2017 or 2018 in the 5-year project
"Strong Modular Proof Assistance: Reasoning across Theories" in the
CL group at the University of Innsbruck.
The starting date can be negotiated. PhD student positions like Postdoc
positions are formal employment in Austria, with a regular salary and
benefits. Applications before June 15 will receive a full consideration.
A background in proof assistants or machine learning is an advantage.
Knowledge of German is not required, the group is international and
the language of communication is English.
Candidates for a PhD position must hold a MSc in computer science or
mathematics and candidates for the postdoctoral position hold a PhD
degree in computer science or mathematics.
Applications and informal inquiries are welcome, please contact
Cezary Kaliszyk (cezary.kaliszyk@uibk.ac.at). Applications should
include a CV and names and contact details of two references.
For the Postdoc positions please include a brief research statement.
The city of Innsbruck, which hosted the Olympic Winter Games in 1964,
1976 and 2012 (YOG), 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 CL group is one of the leading groups concerned with formalization
and certification in the world.
More information and links about the project, the group, and the university:
http://cl-informatik.uibk.ac.at/cek/smart/
Last updated: Apr 25 2024 at 20:15 UTC