PhD / Postdoc Position at the 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 candidates to work as a researcher in the
prospective EU FP7 ONTORULE project (ONTOlogies meet business RULEs)
as well as in related Austrian-funded basic research projects (see
http://www.fwf.ac.at/ ).

The objective of ONTORULE is to integrate all the required pieces of
knowledge and technology, including some that will need be researched
and developed within the project, to allow the acquisition of
ontologies and rules from the most appropriate sources, including
natural language documents, their separate management and maintenance,
and their transparent operationalisation in IT applications.

In particular, the successful candidate will be expected to work in
ONTORULE and related Austrian-funded projects on the theoretical
foundations for combinations of rules, ontologies and data structures,
on the development of effective and efficient methods for processing
such combinations, as well as on the investigation of consistency
management of such combinations.

The candidate should have:

* a Master's degree in Mathematics or Computer Science
* a minimum of 2 years experience in academic research, i.e., a
  Postdoc or experienced PhD student.
* a strong background/interest in Logic Programming and its
  applications
* a background/interest 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


ONTORULE will run from early 2009 and this for a total of 3 years; 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 ).  In
case the position is filled by an experienced PhD student, the
candidate will 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/.