Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD student or postdoc position in Innsbruck


view this post on Zulip Email Gateway (Aug 22 2022 at 15:30):

From: Christian Sternagel <c.sternagel@gmail.com>
Short-term PhD Student or Postdoc Position in Innsbruck
=======================================================

Please do not hesitate to forward this job advertisement to
suitable candidates you might be aware of.

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:

http://cl-informatik.uibk.ac.at/research/projects/certification-redux/

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"

http://cl-informatik.uibk.ac.at/isafor

and further extend this formalization to cover AC-critical
pairs and normalized completion.

Applications and informal inquiries are welcome, please
contact Christian Sternagel (christian.sternagel@uibk.ac.at).
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.


Last updated: Mar 29 2024 at 12:28 UTC