PhD student position in logic and verification for AI, Utrecht (The Netherlands)

For the ERC consolidator project "Responsible Intelligent Systems" (REINS) we are looking for a PhD student 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 vacancy is in REINS sub-project 3 "Formal Responsibility Checking". In this sub-project we investigate how to apply known techniques from the program verification domain (model checking, theorem proving) to the responsibility checking domain. We aim to develop translations from logical formalisms for representing (graded) responsibilities and normative systems, to formalisms for which model checkers and theorem provers already exist.

Starting date: February 1st, 2015 (later or earlier dates may be negotiated). Deadline for applications is October 20th, 2014. For any further information on the project or the vacancies see http://www.cs.uu.nl/vacatures/en/684606.html, 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.