PhD/Postdoc position, Logic-based Knowledge Representation and Reasoning, University of Ulm

The Institute for Artificial Intelligence has an opening for a PhD student or a postdoc in the area of logic-based knowledge representation and reasoning.

The position is a fulltime position and initially limited to two years. The successful candidate will be associated with the Institute of Artificial Intelligence with his or her work focusing on logic-based knowledge representation (in particular description logics), ontological reasoning, query languages for the Semantic Web or related areas.

Deadline: January 15, 2012. For more information, see http://www.uni-ulm.de/en/in/ki/open-positions.html or contact Juniorprof. Dr. Birte Glimm at birte.glimm at uni-ulm.de.