Ingénieur chercheur en informatique quantique pour le développement de la pile logicielle

Mathématiques, information  scientifique, logiciel 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 Vous êtes titulaire d'un doctorat ou justifiez d'au moins trois ans d'expérience au sein d'une équipe axée sur la recherche.Vous êtes un(e) chercheur(se) en informatique passionné(e), portant un vif intérêt pour l'information quantique.Vous avez à votre actif des publications scientifiques ou techniques dans des revues ou conférences de premier rang.Vous maîtrisez le développement dans différents langages de programmation fonctionnelle.Vous démontrez un fort intérêt ou de solides connaissances en information quantique, programmation quantique et correction d'erreurs quantiques. VOUS AVEZ ENCORE UN DOUTE ?Les à-côtés de votre mission principale peuvent nous 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 techCela 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.