Ingénieur-Chercheur en méthodes formelles pour le quantique - CDD - Paris-Saclay F/H

Ingénieur-Chercheur en méthodes formelles pour le quantique - CDD - Paris-Saclay F/H

Description du poste

Mathématiques, information scientifique, logiciel

Intitulé de l'offre

Ingénieur-Chercheur en méthodes formelles pour le quantique - CDD - Paris-Saclay F/H

Statut du poste

Durée du contrat (en mois)

18 à 36 mois

Description de l'offre

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

Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique .

Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à garantir la fiabilité des systèmes IA de demain ?

Ce poste de cadre en CDD est basé sur le site Nano-Innov de Paris-Saclay , Essonne (91 ).

Il s'agit d'un poste à pourvoir dès que possible .

La recherche en informatique quantique a fait récemment des progrès immenses du côté matériel , et des machines quantiques utiles sont désormais attendues pour un futur proche. Il est donc temps de concevoir et implémenter les outils logiciels adéquats pour le cas quantique , à l’image de ce qui existe en informatique classique.

Notre but est de développer des techniques et des outils formels permettant l’écriture efficace de programmes quantiques sûrs . En particulier, notre laboratoire développe Qbricks , un environnement preuve de concept pour la programmation quantique formellement vérifiée .

Nous considérons le modèle de programmation hybride standard , dans lequel un programme classique interagit avec un co-precesseur quantique et lui délègue des tâches de calcul.

Pour ce poste, nous nous intéressons à des mécanismes de vérification qui visent à assurer, a priori, que l’exécution d’un programme quantique sera conforme à son comportement attendu .

Les principaux chantiers à l’œuvre sont :

• Vérification automatisée pour des propriétés de programmes de haut niveau implicites
• Vérification fonctionnelle de haut niveau pour des programmes quantiques
• Vérification d’équivalence pour des circuits quantiques

Le poste inclut des recherches théoriques aussi bien que le développement de prototypes et de l’analyse expérimentale. Les résultats sont destinés à être intégrés dans Qbricks.

Profil du candidat

• Doctorat ou plus de trois ans d’expérience dans une équipe de recherche et/ou développement
• Maitriser un langage fonctionnel (idéalement OCaml)Connaissance des méthodes formelles (vérification déductive notamment)
• Connaissance de l’informatique quantique (modèle hybride, circuits quantique, sémantique des opérateurs de densité)
• Sens du travail en équipe , capacité à la prise d’initiative et de responsabilité (encadrement et gestion de projet)

Les à-côtés de votre mission principale peuvent vous intéresser :

• Un écosystème de recherche à la pointe, unique en son genre et dédié à des thématiques à fort enjeu sociétal, qui donne du sens à votre mission
• Des formations pour renforcer vos compétences, en acquérir de nouvelles et booster votre mission
• Un équilibre vie privée / vie professionnelle reconnu par nos collaborateurs
• La possibilité de télétravailler pour équilibrer les temps de transport et contribuer à votre qualité de vie
• Un CE riche en avantages et en activités sociales, culturelles et sportives
• Un lieu de travail au cœur d’un plateau dynamique , entouré d’écoles et d’entreprises de la tech
• Un restaurant d’entreprise subventionné à proximité
• Un plan d’épargne entreprise avec abondement employeur
• Des frais de transports en commun couverts à 75%
• Des navettes dédiées au départ de Paris

Cela vous tente ? Postulez, ce poste est fait pour vous !

Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes handicapées, cet emploi est ouvert à toutes et à tous. Le CEA propose des aménagements et/ou des possibilités d'organisation pour l'inclusion des travailleurs handicapés.

Localisation du poste

Paris-Saclay, Essonne (91 )