PhD Position at Vienna University of Technology

[Stijn Heymans]

The Knowledge-Based Systems Group (http://www.kr.tuwien.ac.at/) at the Vienna
University of Technology (http://www.tuwien.ac.at/) is looking for excellent PhD
candidates.

The PhD candidate will work in the area of the integration of ontologies and
rules, in particular the inconsistency management of such combinations.

The candidate should have:
-	a Master's degree in Mathematics or Computer Science
-	a strong background in Logic Programming and its applications
-	a background in other Knowledge Representation paradigms such as Description
        Logics
-	a willingness to travel to project meetings and to work on project
       deliverables
-	a willingness to work in an international team
-	good proficiency in English

The position is estimated to start as soon as possible and will run until the
end of 2011 with the possibility for an extension; the salary will depend on the
experience of the candidate and will be according to Austrian guidelines
(http://www.fwf.ac.at/de/projects/personalkostensaetze_2008.html).  The
candidate is expected to work towards a PhD degree in Computer Science.

We encourage interested candidates to send their resume, list of publications,
and digital versions of their most relevant work to

Dr. Stijn Heymans
heymans at kr.tuwien.ac.at

The Knowledge-Based Systems group is lead by Prof. Dr. Thomas Eiter and has a
strong expertise in areas such as Knowledge Representation and Reasoning,
Computational Logic and Complexity, and Declarative Problem Solving. For more
information, see http://www.kr.tuwien.ac.at/.