La fiabilité et la sécurité des systèmes d’information sont des enjeux cruciaux en informatique et dans notre société. L’axe « sécurité, sûreté et fiabilité » du LIP6 couvre un large spectre d’activités de recherche : des aspects théoriques aux implantations pratiques et démonstrations expérimentales, de la conception de systèmes prouvés sûrs par construction à la vérification de la sûreté de systèmes existants, en s’intéressant aussi bien aux couches matérielles, systèmes, logicielles et réseaux. Les équipes du LIP6 participent à des projets d’envergure sur ces thèmes, notamment au sein du Programme et équipements prioritaires de recherche Cybersécurité et du Programme de transfert du Campus Cyber. Ce profil de poste vise plus spécifiquement les candidates et les candidats susceptibles de s’insérer dans un ou plusieurs des thèmes de recherche relevant des équipes APR ou ALMASTY décrits ci-dessous.
L’équipe APR étudie des approches formelles combinant des aspects algorithmiques et langages de programmation et souhaite renforcer ses thématiques autour de la fiabilité et la sécurité des logiciels par des approches de sémantique formelle, de typage, de compilation, de vérification formelle, d’analyse statique, d’interprétation abstraite, les méthodes déductives, les assistants de preuve, l’exécution symbolique, ainsi que les approches combinant ces techniques. L’équipe met l’accent sur le développement d’outils effectifs, bien formalisés et applicables à des langages, des logiciels, des algorithmes et des systèmes réalistes et contemporains. Elle est ouverte à des candidates et des candidats qui créeraient des liens avec ses thématiques en algorithmique (analyse d’algorithmes, combinatoire analytique, génération aléatoire, topologie computationnelle) et les étendraient vers des sujets connexes.
L’équipe ALMASTY est principalement orientée vers l’utilisation de techniques algorithmiques et mathématiques efficaces pour concevoir et améliorer les cryptosystèmes modernes et évaluer leurs niveaux de sécurité. Pour une intégration dans l’équipe ALMASTY, l’activité de recherche de le·la candidat·e pourra porter sur l’un des sujets suivants : sécurité réductionniste, sécurité contre les attaques par canaux auxiliaires, calcul distribué sécurisé, cryptographie (post-)quantique, cryptanalyse, calcul haute performance pour la cryptographie.
Le candidat ou la candidate devra rédiger dans son curriculum vitæ un projet de recherche s’intégrant au sein de l’équipe souhaitée, ainsi qu’un projet d’enseignement en adéquation avec le profil du poste.
Pour ce recrutement, l’équipe APR est prioritaire sur l’équipe ALMASTY.
La fiche de poste complète avec le profil d’enseignement associé sera publiée dès que possible.
Contact : Fabrice Kordon