[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:
Research Institute for Symbolic Computation
Johannes Kepler University Linz
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/
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