Ingénieur chercheur en informatique quantique vérification

CEA; Saclay; Hybride; EUR 90 000 - 130 000; Plein temps

Avantages offerts par ce poste

Télétravail possible

Équilibre vie privée / vie pro

Formations continues

CE et avantages sociaux

Cadre stimulant au plateau Paris-Sacay

Résumé du poste

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.

Qualifications

• Docteur ou équivalent avec au moins 3 ans d'expérience en R&D.
• Passionné par l'informatique quantique et l'information quantique.
• Publications scientifiques ou techniques dans des revues ou conférences de premier rang.
• Maîtrise des langages de programmation fonctionnelle.

Responsabilités

• Développer des fonctionnalités pour la vérification et la compilation de logiciels quantiques.
• Définir de nouvelles propriétés de vérification et fournir les artefacts de preuve.
• Mener des études de cas sur des algorithmes quantiques ciblés.
• Contribuer à la diffusion des résultats dans des revues et conférences.
• Participer à la croissance et au développement de l'équipe de recherche.

Connaissances

Programmation fonctionnelle

Informatique quantique

Programmation quantique

Correction d'erreurs quantiques

Publication scientifique

Formation

Doctorat

Description du poste

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.