Postdoc vacancy at LORIA - epistemic protocol synthesis

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, agency, gossip, and concurrency. 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 or change of belief.

Available positions: 1 Postdoc

Hans van Ditmarsch is a CNRS senior researcher and is the holder of an ERC (European Research Council) Starting Grant called 'epistemic protocol synthesis'. This project runs from 2013 to 2018. He is also heading the CELLO research group at LORIA. The project 'epistemic protocol synthesis' is executed in this group. CELLO currently has five members. One one-year Postdoc position is available in the final stages of this project.

The Postdoc position would preferably start between 1 September 2016 and 1 January 2017. The requirement for the Postdoc position is: a PhD degree in logic, computer science, artificial intelligence, or another area related to the project. Candidates with more than two years of Postdoc experience may qualify for a better paid researcher (chercheur) position. Candidates who will defend a PhD thesis before the end of this year are also encouraged to apply. Pay of Postdoc position: 2525 euros/month (gross).

Further information: deadline for application 15 July 2016

The deadline for application is 15 July 2016. The letter of application and the curriculum vitae may be in English or French. For more information: Hans van Ditmarsch, hans.van-ditmarsch at loria.fr, https://sites.google.com/site/hansvanditmarsch/ . This website also contains a document 313360eps_publiccontentonly.pdf with more detailed information on the project content. Applicants are advised to state with their applications their specific interests with respect to the project goals in that document. Information on LORIA: http://www.loria.fr/ .