Logic List Mailing Archive

PhD student position in multi-agent systems, Marseille (France), Deadline: 5 Oct 2011

The University of Aix-Marseille (Universit de la Mditerrane) is 
offering one PHD position in Computer Science (CNRS Laboratories LIF 
http://www.lif.univ-mrs.fr/ [http://www.lif.univ-mrs.fr/] and LSIS 
http://www.lsis.org/ [http://www.lsis.org/] ) under the direction of 
Nicola Olivetti ( http://www.lsis.org/olivetti/ 
[http://www.lsis.org/olivetti/] ) and Camilla Schwind ( 
http://pageperso.lif.univ-mrs.fr/~camilla.schwind/ 
[http://pageperso.lif.univ-mrs.fr/~camilla.schwind/] ).

 	The general area of the thesis is logics for multi-agent systems. 
In particular we are interested in the study of logical formalisms for 
agents that interact through communication and that can reason about their 
own epistemic attitudes (knowledge, belief, desire, intention) as well as 
about the attitudes of other agents. The research will concentrate on the 
study of suitable modal logics and on the development of automated 
deduction methods for these logics.

 	Candidates must have a MSc or equivalent degree in Computer 
Science, Mathematics or related fields, and an excellent record of study. 
They should have a solid background in computer science, artificial 
intelligence and logic; some familiarity with agent systems is welcome. 
Knowledge of French language is not mandatory. There are no teaching 
obligations, but the candidate may do some paid teaching.

 	The PhD position will be funded by CNRS ( http://www.cnrs.fr 
[http://www.cnrs.fr/] ) and the region "Provence-Alpes-Cote d'Azur (PACA)" 
for three years (regular employment contract with full social benefits), 
approx. 24000 Euro before taxes.

 	The position starts in November 2011 or later, but not after 
January 1st 2012.

 	Applications should contain a CV, a proof of study record, a 
motivation statement detailing the research interests, and letters of 
recommendation. They should be sent to Camilla Schwind 
camilla.schwindlif.univ-mrs.fr 
[http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4087#] and to Nicola 
Olivellti nicola.olivettiuniv-cezanne.fr 
[http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=4087#] . 
Applications should be received no later than October 5, 2011.

 	For further information please contact Nicola Olivetti and/or 
Camilla Schwind at the above email addresses.