Menu principal

stage de M2/MSc internship – Université d’Evry

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
Multi-agent Systems.

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

https://www.ibisc.univ-evry.fr/~belardinelli/Documents/stage_M2.pdf

Enquiries can be address to Francesco Belardinelli (belardinelli@ibisc.fr)

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 belardinelli@ibisc.fr.

Closing date: 15 January 2017


Mots-clés
Epistemic Logic; Formal Methods; Logics for Reasoning about Strategies; Multi-agent Systems
Établissement
Université d' Évry-Val d'Essonne
91025 Evry  
Site Web
https://www.ibisc.univ-evry.fr/~belardinelli/Documents/stage_M2.pdf
Niveau
Bac +5
Prérequis

The applicant is required to have a strong background in mathematical logics,
including modal logics (temporal, epistemic, etc.), as well as programming skills
(C, compilers) for the programming component in point (3).
The project comes with a studentship and it can be extended into a PhD,
provided that sufficient results are achieved.

Durée
6 months
Indemnité
500 euros par mois
Informations de contact

Dr Francesco Belardinelli, Laboratoire IBISC, Evry, France.

Email: belardinelli@ibisc.fr