The following positions are available immediately at the Faculty of Engineering and Computer 
Science of the University of Ulm within the Institute of Artificial Intelligence [1]:

2 Postdoctoral Researcher / Doctoral Research Assistant (Computer Science, 13 TV-L, 35,000 to 
50,000 Euro p.a. pre-tax)

where the first position is a full-time position, which is initially limited to 2 years, and the 
second position is a part-time position and initially limited to 6 month.

The successful candidate will be associated with the Institute of Artificial Intelligence with his 
or her work focusing on logic-based knowledge representation, description or modal logics, 
ontological reasoning, query languages for the Semantic Web such as SPARQL or related areas.

The full-time position is funded by the federal state and requires a small amount of teaching 
duties. The successful candidate can work on a topic of his/her choice within the research 
interests of the institute or develop a project for a PhD dissertation under the supervision of 
Juniorprof. Dr. Birte Glimm.

The part-time position is financed through the project "Dynamic Query Planning for Querying 
Ontologies" [2] within the collaborative research center (SFB/TRR 62) "A Companion Technology 
for Cognitive Technical Systems" [3]. Upon the approval of the next funding period, the position 
can be extended to a regular fulltime position within the collaborative research center. The 
project is concerned with cost-based query planning for querying OWL ontologies with SPARQL, 
where apart from the explicitly stated answers one is also interested in deriving implicit answers 
by means of automated reasoning. More specifically, the project aims at comparing static query 
planning methods, where an initially built query plan cannot be changed during query execution, 
with dynamic query planning, where the query plan might be changed depending on intermediate query 
results. A query execution framework is already available and is based on the HermiT reasoner [4], 
which is co-developed at the institute together with the University of Oxford.

The positions can be used for further scientific qualification (PhD or habilitation).

Tasks:
?Carry out research within the institute in the above mentioned topics ?Prepare publications and 
presentations ?Assist with the organization, coordination and teaching of courses in computer 
science ?Participate in the supervision of BSc or MSc theses

Requirements:
?Candidates must have a degree in computer science, mathematics or a related field (diploma, MSc 
or PhD) ?Very good knowledge of written and spoken English ?Knowledge of German is an advantage ?
Ideally, candidates have a good understanding of logics, e.g., first-order, description or modal 
logics ?Programming experience, e.g., with Java, is an advantage

We offer:
?Intensive supervision of the doctoral studies or the scientific works ?Good contacts and 
cooperations within Germany and internationally ?A young and enthusiastic team

As the University of Ulm intends to increase the proportion of female employees in science, women 
are particularly encouraged to apply.

The application deadline is March 30, 2012, but applications will continue to be considered until 
the position is filled. Please send your application under the reference number 130 via email to 
birte.glimm@uni-ulm.de. Your application should include:
CV
Degree certificates
An abstract for your most recent degree/thesis (MSc, diploma, or PhD) ?A short description of your 
research interests ?A reference letter or nomination of referees

Please address any questions regarding the position to Juniorprof. Dr.
Birte Glimm (birte.glimm@uni-ulm.de).

Job sharing is always possible for full time positions. Physically disabled applicants receive 
favourable consideration when equally qualified. The appointment is made by the central university 
administration.

[1] http://www.uni-ulm.de/in/ki.html
[2] http://www.uni-ulm.de/in/ki/stellenangebote/projektbeschreibung.html
[3] http://http://www.sfb-trr-62.de/
[4] http://http://www.hermit-reasoner.com/


--
Jun. Prof. Dr. Birte Glimm            Tel.:    +49 731 50 24125 Inst. of Artificial Intelligence         Secr:  +49 731 50 24258 University of Ulm                         Fax:   +49 731 50 24188
D-89069 Ulm                               birte.glimm@uni-ulm.de Germany