--- title: "Ingénieur de recherche en… – Boutigny-sur-Essonne, France" canonical: "https://www.metaintro.com/fr/job/research-engineer-in-formal-methods-for-quantum-computing-fixed-term-09a8f731-70da-5777-91c3-df8cdc4b29ec" language: "fr" author: "Metaintro" --- [/company/adsn-career](/company/adsn-career)[CEA](/company/adsn-career) # Ingénieur de recherche en méthodes formelles pour l’informatique quantique – Contrat à durée déterminée – Paris-Saclay (H/F) at CEA LangueEnglish Français **Mode de travail** : Remote **Emplacement** : Boutigny-sur-Essonne, Île-de-France **Type de contrat** : Contrat **Niveau** : senior **Ajouté sur Metaintro** : 25 sept. 2026 ## description Le CEA LIST recrute un ingénieur de recherche en méthodes formelles pour l’informatique quantique dans le cadre d’un contrat à durée déterminée sur le site Nano-Innov à Saclay, en France. Le poste porte sur la vérification formelle de programmes hybrides quantiques-classiques, notamment la vérification automatisée de propriétés de haut niveau, la vérification fonctionnelle, la vérification d’équivalence, la recherche théorique, le développement de prototypes et l’analyse expérimentale pour l’environnement Qbricks. Les candidats doivent être titulaires d’un doctorat ou justifier de plus de trois ans d’expérience en recherche ou en développement, et posséder des compétences en programmation fonctionnelle, des connaissances en méthodes formelles et en informatique quantique, ainsi que des capacités de gestion de projet. Le contrat est de 18 mois, renouvelable une fois, pour une durée maximale de 36 mois; le télétravail est possible. ## Recherches d'emploi tendances Chaque requête ouvre des postes en direct, des échantillons de salaires et la demande du marché: appuyez sur une recherche pour l'exécuter instantanément. - [Find Ingénieur de recherche en méthodes formelles pour l’informatique quantique – Contrat à durée déterminée – Paris-Saclay jobs in Boutigny-sur-Essonne, Île-de-France, France](/fr/jobs/search?q=Find+Ing%C3%A9nieur+de+recherche+en+m%C3%A9thodes+formelles+pour+l%E2%80%99informatique+quantique+%E2%80%93+Contrat+%C3%A0+dur%C3%A9e+d%C3%A9termin%C3%A9e+%E2%80%93+Paris-Saclay+jobs+in+Boutigny-sur-Essonne%2C+%C3%8Ele-de-France%2C+France) - [Find roles similar to Ingénieur de recherche en méthodes formelles pour l’informatique quantique – Contrat à durée déterminée – Paris-Saclay in Boutigny-sur-Essonne, Île-de-France, France](/fr/jobs/search?q=Find+roles+similar+to+Ing%C3%A9nieur+de+recherche+en+m%C3%A9thodes+formelles+pour+l%E2%80%99informatique+quantique+%E2%80%93+Contrat+%C3%A0+dur%C3%A9e+d%C3%A9termin%C3%A9e+%E2%80%93+Paris-Saclay+in+Boutigny-sur-Essonne%2C+%C3%8Ele-de-France%2C+France) - [Find remote Ingénieur de recherche en méthodes formelles pour l’informatique quantique – Contrat à durée déterminée – Paris-Saclay jobs](/fr/jobs/search?q=Find+remote+Ing%C3%A9nieur+de+recherche+en+m%C3%A9thodes+formelles+pour+l%E2%80%99informatique+quantique+%E2%80%93+Contrat+%C3%A0+dur%C3%A9e+d%C3%A9termin%C3%A9e+%E2%80%93+Paris-Saclay+jobs) - [Find Ingénieur de recherche en méthodes formelles pour l’informatique quantique – Contrat à durée déterminée – Paris-Saclay jobs with Programmation fonctionnelle and Méthodes formelles](/fr/jobs/search?q=Find+Ing%C3%A9nieur+de+recherche+en+m%C3%A9thodes+formelles+pour+l%E2%80%99informatique+quantique+%E2%80%93+Contrat+%C3%A0+dur%C3%A9e+d%C3%A9termin%C3%A9e+%E2%80%93+Paris-Saclay+jobs+with+Programmation+fonctionnelle+and+M%C3%A9thodes+formelles) - [Find jobs similar to Ingénieur de recherche en méthodes formelles pour l’informatique quantique – Contrat à durée déterminée – Paris-Saclay](/fr/jobs/search?q=Find+jobs+similar+to+Ing%C3%A9nieur+de+recherche+en+m%C3%A9thodes+formelles+pour+l%E2%80%99informatique+quantique+%E2%80%93+Contrat+%C3%A0+dur%C3%A9e+d%C3%A9termin%C3%A9e+%E2%80%93+Paris-Saclay) - [Find Ingénieur de recherche en méthodes formelles pour l’informatique quantique – Contrat à durée déterminée – Paris-Saclay jobs posted this week](/fr/jobs/search?q=Find+Ing%C3%A9nieur+de+recherche+en+m%C3%A9thodes+formelles+pour+l%E2%80%99informatique+quantique+%E2%80%93+Contrat+%C3%A0+dur%C3%A9e+d%C3%A9termin%C3%A9e+%E2%80%93+Paris-Saclay+jobs+posted+this+week) - [Find Artificial Intelligence/Machine Learning jobs in Boutigny-sur-Essonne, Île-de-France, France](/fr/jobs/search?q=Find+Artificial+Intelligence%2FMachine+Learning+jobs+in+Boutigny-sur-Essonne%2C+%C3%8Ele-de-France%2C+France) - [Find Artificial Intelligence/Machine Learning jobs with Programmation fonctionnelle and Méthodes formelles](/fr/jobs/search?q=Find+Artificial+Intelligence%2FMachine+Learning+jobs+with+Programmation+fonctionnelle+and+M%C3%A9thodes+formelles) ## Obtenez plus de Metaintro Bénéficiez d'une recherche d'emploi puissante, de recommandations personnalisées et d'informations approfondies sur les carrières à partir de données complètes et de pointe et de signaux de marché en direct. - [Parcourir tous les emplois](/jobs/search) - [Accéder au centre d'aide](/help) - [Explorez notre contenu](/blog) ![](https://cdn.metaintro.com/rs:fill:1200:800/q:30/plain/images/bridges/bridge-expand.1df895c6bd76d96f.png) Pour les demandeurs d'emploi ## Prêt à trouver un rôle qui vous convient réellement? Téléchargez votre CV, démarrez un fil de recherche d'emploi et laissez Metaintro classer les véritables offres d'emploi en fonction de votre expérience, puis vous guider de la recherche à l'offre. [Commencez gratuitement](/signup)[Rechercher des emplois correspondants](/jobs/search) Correspondance Comparez les rôles en direct à vos preuves actuelles. Positionnement Transformez vos projets de preuve en candidatures adaptées au rôle. Progression Utilisez le retour du marché pour garder le plan de compétences à jour. [Retour à la navigation](#main-navigation)