Ingénieur Chercheur en Informatique Quantique pour le Développement de la Pile Logicielle H/F

« Rejoignez le CEA pour donner du sens à votre activité, mener ou soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. »

En synthèse qu'est-ce que nous proposons ?

Nous cherchons un(e) ingéneiur(e) chercheur(se) en informatique quantique. Ce poste de cadre en CDI est basé sur le site du CEA Paris-Saclay, Essonne (91).

Ce poste est à pourvoir dès que possible.

Qu'attendons-nous de vous ?

Le poste vise principalement à concevoir et faire évoluer des méthodes de pointe en preuve, automatisation et vérification formelle. Ces outils seront spécifiquement adaptés pour garantir la fiabilité des algorithmes d'optimisation et des codes correcteurs d'erreurs quantiques.

Vos missions principales consisteront à :

- Développer de nouvelles fonctionnalités et améliorations pour nos environnements de vérification et de compilation de logiciels quantiques.

- Définir et cibler de nouvelles propriétés de vérification, développer la plateforme logicielle permettant leur vérification et fournir les artefacts de preuve associés.

- Mener des études de cas sur des algorithmes quantiques ciblés (notamment des algorithmes d'optimisation et des protocoles de correction d'erreurs).

- Contribuer à la diffusion des résultats de recherche de l'équipe dans des revues et conférences scientifiques et techniques de premier plan.

- Participer activement à la croissance stratégique et au développement de l'équipe de recherche.

#CEA-List ; #Ingénieure ; #Chercheuse ; #Research Engineer