Two PhD/Postdoc Positions in Logic and Multiagent Systems, TU Delft

There are two open PhD/postdoc positions (PhD: 4 years, postdoc: 2 years), attached to a newly funded NWO Vidi grant obtained by Birna van Riemsdijk at TU Delft.

The project is entitled Computational Reasoning for Socially Adaptive Electronic Partners (CoreSAEP). The research lies in the intersection of theoretical computer science (formal semantics, temporal logic) and multi-agent systems (agent programming, normative systems). The overall aim of the project is to develop a reasoning framework that combines logic and quantitative techniques for Socially Adaptive Electronic Partners (SAEPs) that adapt their behavior to norms and values of people. This becomes more and more important as technology becomes an integral part of our daily lives. The computational reasoning techniques are aimed at determining when and to what extent norm-compliance can be guaranteed, and deciding what to do if in exceptional situations a norm cannot or should not be complied with. We will implement the reasoning framework to evaluate its run-time behavior.

Initial application deadline: 15 December 2014. For more information, see http://ii.tudelft.nl/~birna/projects/CoreSAEP.html