PhD student position in modal logics for reasoning about multi-agent systems, Lens (France)

The CRIL CNRS lab (Centre de Recherche en Informatique de Lens) offers a PhD fellowship on Modal Logics for Reasoning about Multi-Agent Systems. The successful candidate will start working around September 2012 under the supervision of Tiago de Lima. We are looking for candidates with a strong background in logic and artificial intelligence fields. The candidate should be able to show strong evidence that she/he will obtain a master's degree at most around September 2012.

Interested applicants should contact Tiago de Lima, email: delima at cril.fr, url: http://www.cril.fr/~delima.