Sujet de post-doctorat
Je propose le sujet de post-doctorat suivant. Le post-doc est financé (+ remboursement de 50% des frais de transport).
Si vous êtes un⋅e excellent⋅e docteur en méthodes formelles, merci de me contacter sur andre.etienne@lipn13.fr en fournissant tous les documents nécessaires (CV, liste de publications, rapports de thèse, recommandations, etc.).
Sujet de post-doctorat : Monitoring de systèmes cyber-physiques quantitatifs
Encadrant : Étienne André
Mots-clés : méthodes formelles, monitoring, model-checking, systèmes temporisés, systèmes paramétrés, hyperpropriétés
Voir le sujet complet du post-doc
Contact : andre.etienne@lipn13.fr
Sujets de thèse et stage de Master 2 recherche
Je suis susceptible d’avoir des possibilités additionnelles de financement, et accepte les candidatures spontanées d’excellent⋅e⋅s étudiant⋅e⋅s pour des thèses de doctorat et stage de Master 2 recherche, notamment dans le contexte méthodes formelles et sécurité.