- Proposer des problèmes liés à l'opacité des systèmes temporisés ainsi que des algorithmes de vérification pour ceux-ci
- Rédaction d'articles de recherche et les présenter en conférences / séminaires
- Rédaction d'une thèse sur la recherche effectuée et la défendre
- Développement d'outils de vérification
- Participation à l'enseignement conseillé mais pas obligatoire
- Restauration subventionnée
- Transports publics remboursés partiellement
- Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
- Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
- Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
- Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale
Doctorant F/H Vérification de propriétés liées à la cyber-sécurité grâce aux méthodes formelles - Villers-lès-Nancy, France - INRIA
Description
Contexte et atouts du poste
La thèse sera réalisée entre l'Inria Nancy et le LIPN (
Mission confiée
Missions :
L'objectif principal de la thèse est l'étude de problématiques de sécurité telles que l'opacité au travers de l'analyse d'automates temporisés.
Pour une meilleure connaissance du sujet de recherche proposé :
Veuillez trouver ci-dessous des liens vers l'équipe de recherche dans laquelle la thèse aura lieu, ainsi qu'un descriptif détaillé du sujet de thèse (incluant références bibliographiques). N'hésitez pas à me contacter si vous avez des questions supplémentaires.
Collaboration :
La thèse sera co-encadrée par
Principales activités
Principales activés :
Activités complémentaires :
Compétences
Compétences :
Expérience dans la vérification formelle de systèmes. En particulier dans la manipulation et l'étude d'automates. La connaissance de systèmes temporisés serait un plus.
Avantages
Rémunération
2100€ brut/mois la 1ère année.