Ecriture automatique de noyau de calculs pour calculateurs quantiques

Description de l'offre : Le cadre de la simulation hamiltonnienne ouvre une nouvelle panoplie dapos;approches de calcul pour lapos;informatique quantique. Celle-ci peut être développées dans tous les champs pertinents de lapos;application de lapos;informatique quantique, incluant, entre-autres les équations aux dérivées partielles (electro-magnétisme, mécanique des fluides, ...) mais aussi le machine learning quantique, la finance, et de nombreuses approches de résolutions de problèmes dapos;optimisation (heuristiques ou exactes). Le but de la thèse est de trouver un cadre où ces approches basées sur les approches de simulation hamiltonienne ou dapos;encodage par bloc sont faisable et dont leur écriture peut être automatisée. Cela peut aller jusquapos;au prototypage dapos;un générateur de code que lapos;on cherchera à tester sur des cas pratiques issus de collaboration avec des partenaire européens (stage de quelques mois dans les équipes).

Profil du candidat : informatique quantique ou mathématiques appliquées