3-year postdoc position

The Computational Logic research group is looking for a postdoctoral researcher in connection with the FWF (Austrian Science Fund) international project ARI: Automation of Rewriting Infrastructure. The project runs for 3 years starting from 1 July 2022. Salary is paid according to the FWF funding scheme (about 4,060 EUR monthly gross salary).

We are looking for one enthusiastic researcher with a background in computational logic. Knowledge of rewriting and automated theorem proving 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 essential. The preferred starting date is in July or August of 2022.

Applications (including a CV, a publication list, and a letter of recommendation) must be send by email to the project leader Aart Middeldorp (aart.middeldorp at no later than June 15, 2022. Informal inquiries are welcome.

The city of Innsbruck 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: 15 June 2022