The CRIL CNRS lab offers a PhD fellowship on Modal Logics for Reasoning about Multi-Agents 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@cril.fr, url: http://www.cril.fr/~delima.
Centre de Recherche en Informatique de Lens -- http://www.cril.fr/