[isabelle] 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
kutsia at risc.jku.at

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






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.