| Two PhD student positions in Computer Science. These positions are in the area of hybrid knowledge representaiton and reasoning, planning and execution monitoring. | |
| About the positions. The main task of the students will be to perform world-class research on hybrid knowledge representation and reasoning, and hybrid planning and plan execution monitoring, for robotic systems. Hybrid in this context means that the robot is capable of inferring new information about its environment from a variety of information of different nature. For instance, the robot will consider flexible temporal requirements (e.g., serving food while it is warm, but not too soon after the previous course) together with causal requirements (e.g., serving a meal satisfies the goal of feeding the guests) and resource constraints (e.g., dishes from the previous course must be cleared as space must be made for the new course). Such requirements should be upheld both during planning and on-line execution monitoring. |