• Stage
  • Caen

Site GREYC

 Bonjour à tous,

Nous proposons un stage de master 2, avec poursuite en thèse envisageable, au GREYC, à Caen, sur la thématique de la preuve formelle pour les systèmes multi-agents.
L'encadrement du stage sera assuré par Gaële Simon ; les candidatures seront étudiées au fil de l'eau.

Les détails du sujet et les modalités de candidatures sont décrits dans ce document.

Gaële Simon et Bruno Zanuttini

Pour postuler, envoyez votre CV et votre lettre de motivation par e-mail à gaele.simon@unicaen.fr