Emplois actuels liés à Ingénieur-Chercheur en méthodes formelles pour le quantique - Palaiseau, Île-de-France - CEA
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 semaines
Palaiseau, Île-de-France CEA Temps pleinRecherche et développementLe CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche.Vous serez chargé(e) de développer des méthodes formelles pour le quantique, en collaboration avec les équipes de recherche et de développement.Vous travaillerez sur la conception et l'implémentation...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 jours
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offre Le CEA recherche un Ingénieur-Chercheur pour rejoindre son équipe de recherche en informatique quantique. Le candidat idéal aura une expertise en méthodes formelles et une expérience dans le développement de logiciels pour la programmation quantique. Les principaux chantiers à l'œuvre sont : La vérification...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 1 semaine
Palaiseau, Île-de-France CEA Temps pleinDéveloppement de méthodes formelles quantiques Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique pour développer des techniques et des outils formels permettant l'écriture efficace de programmes quantiques sûrs. Rôle • Mettre au point des mécanismes de vérification pour assurer, a priori, que...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 semaines
Palaiseau, Île-de-France CEA Temps pleinOffre de posteLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement OCaml)Connaissance des méthodes formelles (vérification déductive...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 semaines
Palaiseau, Île-de-France CEA Temps pleinOffre de posteLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche.ContexteLa recherche en informatique quantique a fait des progrès immenses récemment, et il est temps de concevoir et d'implémenter les outils logiciels adéquats pour le cas quantique.MissionLe candidat sélectionné...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.Qu'est-ce que nous vous proposons?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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 semaines
Palaiseau, Île-de-France CEA Temps pleinPoste de rechercheL'Ingénieur-Chercheur en méthodes formelles pour le quantique recherché par le CEA sera chargé de développer des techniques et des outils formels pour la programmation quantique sûre.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.Qu'est-ce que nous vous proposons?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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreUn poste de recherche en informatique quantiqueLe CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche en informatique quantique.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de poste : Ingénieur-Chercheur en méthodes formelles pour le quantique Nous sommes à la recherche d'un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en méthodes formelles pour le quantique. Responsabilités : Développer des outils logiciels pour la vérification automatique de programmes quantiques Concevoir et implémenter des...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à l'avancement de la recherche en informatique quantique.En synthèse, nous vous proposons :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 à...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de rechercheNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en cybersécurité logicielle bas niveau. Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité.Objectifs de la rechercheNos travaux de recherche visent à comprendre comment les méthodes d'analyse...
-
Palaiseau, Île-de-France CEA Temps pleinIngénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveauVous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et plateformes...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de rechercheNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en cybersécurité logicielle bas niveau. Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité.Objectifs de la rechercheNos travaux de recherche visent à comprendre comment les méthodes d'analyse...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de posteL'Ingénieur-Chercheur rejoindra notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et...
-
Palaiseau, Île-de-France CNRS Temps pleinPostdoctorat en méthodes ensemblistes pour la vérification de réseaux de neuronesMissionsLe chercheur postdoctoral contribuera à la tâche 3.1 (Au-delà de la robustesse de la classification locale) et à la tâche 2.3 (Architectures de réseaux neuronaux avancées) du projet SAIF (Sécurité de l'IA par des méthodes formelles) du PEPR...
-
Palaiseau, Île-de-France CNRS Temps pleinPrésentation du posteLe CNRS recherche un chercheur postdoctoral pour travailler sur les méthodes ensemblistes pour la vérification de réseaux de neurones. Le candidat sélectionné contribuera à la tâche 3.1 du projet SAIF (Sécurité de l'IA par des méthodes formelles) du PEPR IA.MissionsLe chercheur postdoctoral contribuera à la vérification des...
-
Ingénieur de recherche en méthodes formelles
il y a 1 mois
Palaiseau, Île-de-France ONERA Temps pleinA propos de l'entrepriseL'ONERA est un acteur central de la recherche aéronautique et spatiale, employant plus de 2000 personnes. Placé sous la tutelle du ministère des Armées, il dispose d'un budget de 289 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l'ONERA prépare la...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de rechercheVous rejoindrez notre équipe de recherche au CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Nous sommes à la recherche d'un candidat motivé pour relever des défis scientifiques et techniques ambitieux en utilisant des méthodes de recherche de l'excellence scientifique associées au travail en...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de rechercheVous rejoindrez notre équipe de recherche au CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Nous sommes à la recherche d'un candidat motivé pour relever des défis scientifiques et techniques ambitieux en utilisant des méthodes et plateformes logicielles innovantes. Les domaines d'application...
Ingénieur-Chercheur en méthodes formelles pour le quantique
Il y a 2 mois
L'Institut de recherche et de développement CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche en informatique quantique.
ContexteLa recherche en informatique quantique a fait des progrès immenses récemment, et des machines quantiques utiles sont attendues pour un futur proche. Il est donc temps de concevoir et d'implémenter les outils logiciels adéquats pour le cas quantique, à l'image de ce qui existe en informatique classique.
MissionLe poste consiste à 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.
Compétences requises- Doctorat ou plus de trois ans d'expérience dans une équipe de recherche
- 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)
Le CEA offre un écosystème de recherche à la pointe, unique en son genre et dédié à des thématiques à fort enjeu sociétal. Les collaborateurs bénéficient de formations pour renforcer leurs compétences, d'un équilibre vie privée/vie professionnelle reconnu, de la possibilité de télétravailler et d'un CE riche en avantages et en activités sociales, culturelles et sportives.
