PhD student or postdoc position

We invite candidates for a PhD student or postdoc researcher position to start as soon as possible in the ongoing Certification Redux project of the CL group at the University of Innsbruck.

Since the project officially ends on January 31, 2018, any initial contract will also have to end on this date. However, it is highly likely that the project can be extended for at least another year after January 2018.

PhD student positions like Postdoc positions are formal employment in Austria, with a regular salary and benefits. Applications before June 30 will receive a full consideration.

A background in proof assistants (preferably Isabelle/HOL) or term rewriting will be of advantage. Knowledge of German is not required, the group is international and the language of communication is English.

Candidates for the PhD position must hold a master’s degree in computer science or mathematics and candidates for the postdoc position hold a doctoral degree in computer science or mathematics.

The main task of a successful applicant will be to collaborate with other project members in order to formalize (first-order) AC-unification (that is, unification in the presence of associative and commutative function symbols) as part of the Isabelle Formalization of Rewriting and further extend this formalization to cover AC-critical pairs and normalized completion.

Applications and informal inquiries are welcome, please contact Christian Sternagel. Applications should include a CV as well as names and contact details of two references.

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 in the area of rewriting, formalization and certification in the world.

Application deadline: 30 June 2017