Connectionists: PhD and PostDoc positions in machine learning for theorem proving in Innsbruck

[Cezary Kaliszyk]

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 machine learning or proof assistants 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 at 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.

More information about the project, the group, and the university:

http://cl-informatik.uibk.ac.at/cek/smart/

-- 
Cezary Kaliszyk, University of Innsbruck,
http://cl-informatik.uibk.ac.at/cek/