Ingénieur chercheur en informatique quantique vérification

CEA recherche un ingénieur chercheur en informatique quantique pour développer la pile logicielle de vérification et de contrôle des codes quantiques sur le site Paris-Saclay.

Vous concevrez et ferez évoluer des méthodes de pointe en preuve formelle, automatisation et vérification, et piloterez des études de cas sur des algorithmes quantiques et des protocoles de correction d'erreurs, en collaboration avec l'équipe de recherche.