Please note that this newsitem has been archived, and may contain outdated information or links.
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.
Please note that this newsitem has been archived, and may contain outdated information or links.