1/ Mener des recherches dans le domaine des méthodes formelles pour la sécurité, en collaboration avec le partenaire industriel, notamment : - Participer régulièrement et activement aux réunions - Travailler en équipe de recherche - Modéliser des cas d'études, y compris les propriétés de sécurité - Utiliser des solutions / outils existants pour vérifier les propriétés de sécurité, améliorer des solutions existantes, concevoir de nouvelles solutions / méthodologies - Effectuer des expériences et analyser des résultats 2/ Présentation et publication des résultats obtenus, en collaboration avec Orange, notamment : - Participer à des conférences et des revues internationales - Participer à des séminaires et colloques - Réaliser des livrables - Participer à des écoles d'été / d'hiver 3/ Co-encadrement - Encadrer l'activité de stagiaires et d'étudiants en master