PhD and Postdoc vacancies at LORIA

One PhD position and one postdoc position are available in the ERC project Epistemic Protocol Synthesis at LORIA in France, preferably starting on 1 September 2014.

Project description:
In the logic of information change it is common to have an input state of information and a well-described action, and then to compute the resulting new state of information. In epistemic protocol synthesis the focus is different: given an input state of information and an output state of information, and some 'rules for engagement' (allowed protocol), find (synthesize) the epistemic protocol transforming the input into the output. Areas of specific interest are protocols for secure communication, protocol languages, and agency. The project goal is epistemic protocol synthesis for synchronous and asynchronous multi-agent systems, by way of using and developing dynamic epistemic logics, i.e., logics of change of knowledge.

The deadline for application is 15 May 2014. For more information, see http://personal.us.es/hvd/ or contact Hans van Ditmarsch, hans.van-ditmarsch at loria.fr.