Ph.D. Position Announcement

[Nicola OLIVETTI]

****PH.D. POSITION ANNOUNCEMENT***

The University of Aix-Marseille is offering one PHD  position in
Computer Science  (CNRS Laboratories LSIS http://www.lsis.org/ and LIF
http://www.lif.univ-mrs.fr/)
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 the  one of 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 those ones 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.

*Important*: The availability of the Ph.D. Fellowship will be  confirmed by 
end of May 2011.

The position starts in October 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 finally some letters of
recommendation.

They should be sent electronically to
Nicola OLIVETTI<nicola.olivetti at univ-cezanne.fr>  and to Camilla Schwind
<camilla.schwind at lif.univ-mrs.fr>
or by ordinary mail to

Nicola Olivetti
Laboratoire des sciences de l'information et des systèmes LSIS-CNRS
Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen
13397 MARSEILLE CEDEX 20

or to

Camilla Schwind
Laboratoire d'informatique fondamentale LIF-CNRS
Faculté des sciences de Luminy,
163 avenue de Luminy - case 901
13288 Marseille cedex 9, (France)

Applications should be received no later than  *June 10, 2011*.

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