Logic List Mailing Archive

Two postdoctoral / PhD student positions in logic-based AI, Ulm (Germany)

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