Logic List Mailing Archive

Postdoctoral position in term rewriting, Innsbruck (Austria)

The Computational Logic research group is looking for a postdoctoral 
researcher in connection with the FWF (Austrian Science Fund) project 
"Constrained Rewriting and SMT: Emerging Trends in Rewriting". The project 
runs for 3 years starting from 1 May 2012. The project is an international 
project with partners in Vienna and several universities in Japan. The 
postdoctoral researcher is expected to collaborate with researchers at 
Vienna University of Technology, Nagoya University and JAIST.

Candidates must hold a PhD degree in computer science or mathematics. A 
background in computational logic (term rewriting, complexity, 
constraints) is desired. Knowledge of German and Japanese is not 
essential.

Salary is paid according to the FWF funding scheme for postdocs (40 hours) 
and amounts to approximately EUR 47,000 per year (gross).

Applications (including CV and two references) must be send by email to 
Aart Middeldorp

   aart dot middeldorp at uibk dot ac dot at

no later than 22 April 2012. Informal inquiries are welcome at the same 
email address.

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.

Further information is available from the following links:

Computational Logic:
   http://cl-informatik.uibk.ac.at/
Institute of Computer Science:
   http://informatik.uibk.ac.at/
University of Innsbruck:
   http://www.uibk.ac.at/
City of Innsbruck:
   http://www.innsbruck.at/