An internship for an M2 student is available at the Laboratoire IBISC, Université d'Evry, starting in February 2017, with a duration of 5 months.
The project hinges on logics for reasoning about strategic behaviours in
The project is directed by Dr Francesco Belardinelli and it is part of
the ANR JCJC project SVeDaS “Specification and Verification of Data-aware Systems”.
It comes with a studentship and can be extended into a
PhD, provided that sufficient results are achieved.
A complete description is available at
Enquiries can be address to Francesco Belardinelli (firstname.lastname@example.org)
The candidate is required to have a strong background in mathematical
logics, including modal logics (temporal, epistemic, etc.), and must be capable of programming in the most popular programming languages (C, C++, Java).
To apply, please send a complete academic CV to email@example.com.
Closing date: 15 January 2017