ISKOI: Description logics and rules: postdoc position (Bolzano)
franconi at inf.unibz.it
Mon Mar 2 11:03:04 CET 2009
Job: Postdoc position at Free University of Bozen-Bolzano, Italy
Duration: 3 years, renewable (by mutual consent) for another 3 years
Topics: Knowledge Representation, Description Logics, Rules
Language requirement: English
Application deadline: 25 March 2009
The KRDB research centre at the Free University of Bozen-Bolzano
(http://www.inf.unibz.it/krdb/) seeks applicant for a postdoctoral
position. The bulk of the research to be carried out is in the context
of the ONTORULE project (http://ontorule-project.eu/), and is
concerned with the application of Description Logics to business rules
and the combination of production rule and Description Logic
formalisms. Both representational adequacy and computational
complexity play important roles in such combinations.
Candidates must have a strong research record and a solid background
in description and/or modal logics. Experience with first-order modal
and fixed-point logics, and to a lesser extent experience with active
rule languages such as production rules, is considered desirable, but
by no means mandatory.
How to apply
Please fill in the forms A, B and C that may be found at the following
locations, and submit them to the address indicated on the forms:
Unfortunately, the forms are only available in Italian and in German.
Note that *neither* Italian *nor* German is required for this
position. If you intend to apply but do not understand Italian or
German (or do not understand the complicated forms), please let Jos de
Bruijn <debruijn at inf.unibz.it> know, so that he can help you fill in
If you have any further questions related to the position, please
don't hesitate to contact Jos at the address above.
More information about the ISKO