Logic List Mailing Archive

Postdoctoral position on first-order theory of rewriting, Innsbruck (Austria), Deadline: 1 Aug 2017

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:

FORTissimo:
     http://cl-informatik.uibk.ac.at/research/projects/fortissimo/
Computational Logic:
     http://cl-informatik.uibk.ac.at/
University of Innsbruck:
     http://www.uibk.ac.at/
City of Innsbruck:
     http://www.innsbruck.at/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam