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
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.