vacancies in the ERC project Epistemic Protocol Synthesis

[Van der Hoek, Wiebe]

Please respond to Hans van Ditmarsch, hans.van-ditmarsch at loria.fr

*** PhD and Postdoc vacancies at LORIA, France ***

project description: 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, 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.

available positions: 2 PhDs and 1 Postdoc

Hans van Ditmarsch recently joined LORIA / CNRS and is the holder of an ERC (European Research Council) Starting Grant called 'epistemic protocol synthesis'. This project runs from 2013 to 2018. Two three-year PhD positions and one two-year Postdoc position are available in this project at this stage. (More positions will be available later.) The PhDs will be enrolled in the University of Lorraine. The requirements for the two PhD positions are: a master degree or equivalent in logic, computer science, artificial intelligence, or another area related to the project. (A curriculum that includes publications in English, such as a Master thesis, is to the advantage of an applicant for a PhD position.) 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 three years of Postdoc experience may qualify for a better paid researcher (chercheur) position. The PhD and Postdoc positions can start at any convenient date but preferably not after September 2013. Pay of PhD positions: 1757 euros/month (gross). Pay of Postdoc position: 2500 euros/month (gross).

further information: deadline for application 15 May 2013

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