The University of Aix-Marseille (Université de la Méditerranée) 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.