Enseignant-Chercheur (MCF) en Informatique Quantique CDI (H/F)

Activités d'enseignement :La personne retenue rejoindra le Département d'Informatique de CentraleSupélec. Elle devra pouvoir participer aux enseignements de base délivrés dans le cursus de l'École : cours d'algorithmique, cours de programmation. Elle devra aussi pouvoir intervenir dans le cadre de la 3A, sur les sujets sur lesquels elle sera plus spécialisteIl est attendu par ailleurs qu'elle s'investisse, pour environ un tiers de son service, dans différents enseignements sur l'Informatique Quantique de CentraleSupélec et de l'Université de Paris-Saclay dans lesquelles l'École est impliquée, notamment :- La mention quantum engineering de l'année 3A de CentraleSupélec- Le montage d'une séquence thématique en 2A sur le thème du calcul quantique- L'année césure ArteQ, DU de l'Université Paris-Saclay- Le parcours QDCS (Quantum and Distributed Computer Science) du Master informatique de l'Université Paris-Saclay.L'enseignement de l'Informatique Quantique en France, et en particulier à l'Université Paris-Saclay se doit de répondre aux impératifs suivants :- Former rapidement de plus en plus d'étudiants en capacité de relever le nouveau défi de l'Informatique Quantique.- Assurer la formation continue des ingénieurs informaticiens aux technologies quantiques.Les enseignements du Master QDCS étant dispensés en anglais, la capacité à s'exprimer en cette langue est nécessaire.Activité de recherche :Le traitement quantique de l'information offre potentiellement de nouvelles capacités de calculs, et ouvre la voie à de nombreuses directions de recherche inédites en Informatique, dans les trois principaux domaines que sont la simulation quantique, l'algorithmique quantique et la cryptographie quantique.Ces aspects ne sont bien évidemment pas indépendants : les nouvelles capacités de calculs permettent le développement d'algorithmes plus efficaces (par exemple, l'algorithme de Shor pour la factorisation d'entiers), avec comme effet la nécessité de totalement repenser les protocoles de sécurité, avec de nouvelles primitives cryptographiques. D'un autre co té, le développement d'ordinateurs quantiques nécessite de repenser toutes les bases de la programmation, avec la conception de langages et de modèles de calculs adaptés, de techniques de compilation adaptées, de méthodes de vérification (preuve, typage, etc.) adaptées au nouveau paradigme.Pour comprendre les forces et les limites du paradigme quantique, l'équipe QuaCS adopte une position transverse et cherche à comprendre quelles ressources sont accordées par la nature pour calculer, au niveau fondamental (par exemple le parallélisme quantique et spatial). Elle le fait en étudiant des modèles formels de calcul quantique (par exemple, des automates quantiques et des modèles de réécriture de graphes). Ces structures abstraites sont ensuite verbalisées en langages de programmation quantiques (par exemple, le lambda-calcul quantique, les algèbres de processus). Cette démarche va dans les deux sens, par exemple lorsque les développements des langages de programmation quantiques conduisent à la découverte de nouvelles structures, qui peuvent ou non e tre compilables dans les modèles formels de calcul quantique, soulevant la question parfois fascinante de la physicalité de ces ressources. Un exemple paradigmatique en est la question très contemporaine des structures de contro le quantique.