PhD Position in Answer Set Programming and Sensor Networks

[Torsten Schaub]

PhD Position in Answer Set Programming and Sensor Networks

The Knowledge Representation and Reasoning group at the University of Potsdam
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 potassco.sourceforge.net, 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
              torsten at cs.uni-potsdam.de