[agents] PhD and Postdoc vacancies at LORIA, France

[Thomas Ågotnes]

** 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: 1 PhD and 1 Postdoc

Hans van Ditmarsch joined LORIA / CNRS end of 2012 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, and will have six members from September onward. One 
three-year PhD position and one two-year Postdoc position are available 
in this project at this next stage of recruitment. The PhD will be 
enrolled in the University of Lorraine.

The PhD and Postdoc positions would preferably start on 1 September 
2014. The requirement for the PhD position is: 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. Candidates who intend to defend 
a Master thesis before September are also encouraged to apply. Pay 
of PhD position: 1757 euros/month (gross). 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. Candidates who intend to defend 
a PhD thesis before the end of this year are also encouraged to apply. 
Pay of Postdoc position: 2500 euros/month (gross).

further information: deadline for application 15 May 2014

The deadline for application is 15 May 2014. 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/ .