PhD Position in Answer Set Programming and Sensor Networks

The Knowledge Representation and Reasoning group at the University of Potsda is looking for a doctoral researcher in the area of Answer Set Programming (ASP). The position is part of the EU project StrokeBack aiming to build an automated remote rehabilitation system for stroke patients.

A major focus of the envisaged research consists in using ASP as a Knowledge Representation and Reasoning tool for modeling rehabilitation exercises guided by sensor networks in a real-time environment.
Apart from using ASP tools from, specifically the reactive ASP solver oClingo, this involves dealing with Body Area Networks (BANs) as well as additional sensor devices, like Kinects or Wiis.

A successful candidate holds a MSc in Computer Science or a related discipline and has ideally already an interest in ASP or related areas such as SAT or CSP paired with strong communication skills (both speaking and writing) in English.

The appointment is for 3 years, aiming to start in October 2011. The salary follows the German E13 scheme and depends on the applicant’s work experience. Initial screening of applications begins immediately and the position remains open until filled.

Applications: Please contact Torsten Schaub, preferably via email to