AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
012345

Notice

AISB opportunities Bulletin Item

PhD student and postdoc positions in epistemic protocol synthesis, Nancy, FRANCE


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