Site Université de Caen
Nous proposons une thèse au laboratoire GREYC (UMR CNRS 6072) dans le domaine de la preuve et des systèmes multi-agents :
- Sujet : spécification d’un système multi-agents par l’analyse d’échecs de preuve
- Mots-clés : systèmes multi-agents, vérification, preuve automatique, raisonnement, logique
- Encadrement : Bruno Zanuttini et Gaële Simon
- Environnement : Equipe MAD – Laboratoire GREYC (Groupe de Recherche en Informatique, Image et Instrumentation de Caen)
- Financement : durée prévue de 3 ans sous réserve de financement par la Région, ou sujette à concours via des allocations établissement
- Début de thèse : 1er Octobre 2023
- Profil recherché : Étudiants en Master 2 d’Informatique ou élèves-ingénieurs en dernière année (BAC+5) intéressés par la logique, la preuve et les systèmes multi-agents.
- Candidatures : contacter Bruno Zanuttini (bruno.zanuttini@unicaen.fr) et Gaële Simon (gaele.simon@unicaen.fr) en envoyant un CV, une lettre de motivation ainsi que les notes disponibles de l’année en cours. Les candidatures seront étudiées au fil de l’eau.
Plus de détails ici :these greyc preuve agent 23
Pour postuler à cette offre d’emploi veuillez visiter unicaen.fr.