Postée il y a 3 heures
Nous recherchons un post-doctorant pour 9 mois dans le domaine des méthodes formelles à l'Irisa.
Le projet de recherche portera sur la vérification formelle et le test de systèmes temps réel en utilisant des automates temporisés et des techniques issues de la théorie des jeux, de l'apprentissage par renforcement, de la logique temporelle, de l'apprentissage d'automates, etc. Plus spécifiquement, nous explorerons les techniques d'apprentissage par renforcement pour développer des algorithmes de test en boîte noire pour les automates temporisés.
Activités
Nous explorerons les techniques d'apprentissage par renforcement pour développer des algorithmes de test en boîte noire en étendant des travaux que nous avons déjà réalisés pour des systèmes réactifs avec des exigences décrites par des automates finis mais sans notion de temps.
Une première tâche consistera à étendre la théorie que nous avons développée aux exigences temporisées, et définir, en se servant des notions de théorie des jeux ou la théorie des automates temporisés, des heuristiques qui permettent de réaliser des tests en ligne de manière efficace.
Deuxièmement, nous souhaitons que le candidat développe un prototype de ce nouvel algorithme, et expérimente sur des exemples de systèmes et d’exigences disponibles dans la littérature.
On pourra aussi identifier des cas d'études appropriés publiés dans la littérature.
Plusieurs améliorations sont ensuite possibles sur les algorithmes de test, sur les heuristiques qui nécessitent des précalculs plus ou moins lourdes sur les exigences. On comparera ces variantes avec l’état de l’art.
Les résultats de ce travail seront publiés dans des conférences internationales, et les logiciels développés seront rendus publics sous licence libre.
Compétences
Compétences attendues :
- solide expérience de la théorie de la vérification formelle
- bon dossier de publications
- expérience ou un intérêt pour la mise en œuvre d'outils de vérification formelle
- compétence en programmation avec Python
Contexte de travail
Ce contrat s'inscrira dans le contexte de l'ANR BISOU et la personne recrutée sera accueillie dans l'équipe DEVINE du laboratoire IRISA à Rennes.
A propos du laboratoire
=============
www.irisa.fr
L'IRISA est aujourd'hui l'un des plus grands laboratoires de recherche français (plus de 850 personnes) dans le domaine de l'informatique et des technologies de l'information. Structuré en sept départements scientifiques, l'IRISA est un laboratoire d'excellence dont les priorités scientifiques sont la bioinformatique, la sécurité des systèmes, les nouvelles architectures logicielles, la réalité virtuelle, l'analyse des big data et l'intelligence artificielle.
Tourné vers l'avenir de l'informatique et nécessairement tourné vers l'international, l'IRISA est au cœur même de la transition numérique de la société et de l'innovation au service de la cybersécurité, de la santé, de l'environnement et de l'écologie, des transports, de la robotique, de l'énergie, de la culture et de l'intelligence artificielle.
Présentation du CNRS en tant qu'employeur : https://www.cnrs.fr/fr/le-cnrs
Présentation de l'IRISA comme laboratoire d'affectation : https://www.irisa.fr/umr-6074
Ce contrat s'inscrira dans le contexte de l'ANR BISOU et la personne recrutée sera accueillie dans l'équipe DEVINE du laboratoire IRISA à Rennes.
A propos du laboratoire
=============
www.irisa.fr
L'IRISA est aujourd'hui l'un des plus grands laboratoires de recherche français (plus de 850 personnes) dans le domaine de l'informatique et des technologies de l'information. Structuré en sept départements scientifiques, l'IRISA est un laboratoire d'excellence dont les priorités scientifiques sont la bioinformatique, la sécurité des systèmes, les nouvelles architectures logicielles, la réalité virtuelle, l'analyse des big data et l'intelligence artificielle.
Tourné vers l'avenir de l'informatique et nécessairement tourné vers l'international, l'IRISA est au cœur même de la transition numérique de la société et de l'innovation au service de la cybersécurité, de la santé, de l'environnement et de l'écologie, des transports, de la robotique, de l'énergie, de la culture et de l'intelligence artificielle.
Présentation du CNRS en tant qu'employeur : https://www.cnrs.fr/fr/le-cnrs
Présentation de l'IRISA comme laboratoire d'affectation : https://www.irisa.fr/umr-6074
Contraintes et risques
Le poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST), et nécessite donc, conformément à la réglementation, que votre arrivée soit autorisée par l'autorité compétente du MESR.
Le poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST), et nécessite donc, conformément à la réglementation, que votre arrivée soit autorisée par l'autorité compétente du MESR.