PhD Position in Logics for Multiagent Systems, Marseille

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/ and LSIS http://www.lsis.org/) under the direction of Nicola Olivetti (http://www.lsis.org/olivetti/) and
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) 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.schwind at lif.univ-mrs.fr and to Nicola Olivellti nicola.olivetti at univ-cezanne.fr. 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.