3 year postdoc position

The Computational Logic research group is looking for a postdoctoral researcher in connection with the FWF (Austrian Science Fund) project FORTissimo: Automating the First-Order Theory of Rewriting. The project runs for 3 years starting from 1 September 2017. Salary is paid according to the FWF funding scheme for postdocs (40 hours) and amounts to approximately EUR 50K per year (gross).

Candidates must hold a PhD degree in computer science or mathematics. Knowledge of automata theory and rewriting is helpful, experience with and a liking of working with proof assistants (preferably Isabelle/HOL) is desirable. Candidates close to obtaining a PhD degree are also invited to apply. Knowledge of German is not required.

The main task of a successful applicant will be to collaborate with other project members in order to extend the Isabelle Formalization of Rewriting with the decision procedure for the first-order theory of rewriting for left-linear and right-ground rewrite systems.

Applications (including CV and names and contact details of two references) must be send by email to Aart Middeldorp no later than 1 August 2017. Informal inquiries are welcome.

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 Computational Logic in Innsbruck is one of the leading research groups in the area of rewriting and formalization in the world.

Further information is available from the following links:

Computational Logic
University of Innsbruck
City of Innsbruck

Application deadline: 1 August 2017