PhD Position at the Knowledge-Based Systems Group, Vienna University of Technology

[Michael Fink]

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 a forthcoming WWTF
funded project on Inconsistency Management for Knowledge-Integration
Systems (see http://www.wwtf.at/).

The objective of this project is to extend and develop methods and
techniques for inconsistency handling beyond homogenous data settings.
In particular, inconsistency handling for knowledge exchange systems,
where the information flow is described by so-called bridge rules, will
be investigated. In addition to a general formalism for inconsistency
management, the project aims at efficient algorithms for detecting,
evaluating, and potentially resolving conflicts based on computational
logic tools.

The successful candidate will be expected to work on the theoretical
foundations of inconsistency management for modern knowledge exchange
systems, as well as on the development of efficient methods and
algorithms for basic inconsistency management tasks.
The candidate should have:

* a Master's degree in Mathematics or Computer Science
* experience in academic research, i.e., an experienced PhD student.
* a strong background/interest in Logic Programming and its applications
* a solid academic education in Knowledge Representation and
Computational Logic
* a willingness work on project deliverables
* a willingness to travel to project partners and to work in an
international team
* good proficiency in English

The full-time equivalent position is for a total of 3 years and expected
to start March 1st 2009, or as soon as possible after this date; the
salary will be according to Austrian guidelines
(http://www.fwf.ac.at/de/projects/personalkostensaetze_2008.html).  The
candidate will also work towards a PhD degree in Computer Science.

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

Dr. Michael Fink
fink 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/.

Vienna University of Technology is an Equal Opportunities Employer.
Women therefore are especially encouraged to apply. In case of equal
qualification, women applying are to be given priority unless reasons
specific to an individual male candidate tilt the balance in his favor
according to judgments of the EU Court of Justice.