Logic List Mailing Archive

Postdoctoral position in epistemic protocol synthesis, Nancy (France), Deadline: 15 Jul 2016

** Postdoc vacancy 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, 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@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/ .

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam