Two PhD student positions and two postdoctoral positions for logic in AI, Utrecht (The Netherlands)

For the ERC consolidator project "Responsible Intelligent Systems" (REINS) we are looking for 2 PhD students and 2 postdocs to be employed in the division of artificial intelligence at the department of information and computing sciences.

The REINS project aims to provide a framework for automating responsibility, liability, and risk checking for intelligent systems. The vacancies are in two sub-projects. The "Logics of Collective Responsibility" sub-project undertakes the formalization of the concept of responsibility, with a focus on the generalization of existing formal theories to the collective case. In the "Grades of Responsibility relative to Normative Systems" sub-project we will develop systems of formal deontic logic in relation to classes of responsibility and probabilistic, possibilistic or evidence-based action.

Deadline for applications is february 1st, 2014. For any further information on the project or the vacancies see http://www.staff.science.uu.nl/~broer110/Vacancies-REINS-2014.pdf, or one can contact dr. Broersen at email address J.M.Broersen at uu.nl or professor John-Jules Charles Meyer at email address J.J.C.Meyer at uu.nl