PhD Position in Computational Logic at RISC

PhD Position in Computational Logic at RISC
===========================================

Applications are invited for one PhD position in the frame of the 
project "SToUT: Symbolic Computation Techniques for Unranked Terms" 
funded by the FWF (Austrian Science Fund).

The focus of the PhD project will be on designing new algorithms and 
procedures for solving equational constraints and anti-unification 
problems over unranked terms in various theories and on developing the 
corresponding software library. The successful applicant is expected to 
conduct research leading to original contributions to the project 
culminating in a PhD thesis.

Requirements for applicants:

   * University degree in computer science or mathematics
   * Strong interest and commitment to research
   * Competency in English
   * Good programming skills
   * Preferably, knowledge of logic

Interested candidates should submit their application to the project 
leader Temur Kutsia not later than March 31, 2012, preferably by email:

Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz
Altenbergerstrasse 69
A-4040 Linz, Austria
Phone: +43 (0)732 2468 9982
[email protected]

The application should include a CV and a description of research 
interests. Informal enquiries to the same address are welcome.

The position is for three years. The expected starting period is 
June-September 2012. The exact date can be negotiated. Salary is paid 
according to the FWF funding scheme for PhD students. The successful 
candidate will work and study at the Research Institute for Symbolic 
Computation (RISC) of the Johannes Kepler University Linz, in an 
inspiring research environment in a medieval castle.

Further information is available from the following links:

SToUT Project: http://www.risc.jku.at/projects/stout/
RISC: http://www.risc.jku.at/
Johannes Kepler University: http://www.jku.at/
FWF salary scheme: http://fwf.ac.at/de/projects/personalkostensaetze.html