Ingénieur-Chercheur en méthodes formelles pour le quantique

Recherche 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...

Description 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...

Dé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...

Offre 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...

Offre 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é...

Description 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...

Offre 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...

L'ingénieur chercheur en méthodes formelles pour le quantique sera chargé de concevoir et d'implémenter les outils logiciels nécessaires pour la programmation quantique formellement vérifiée.Ce poste est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Nous recherchons un candidat qui a une expertise dans les méthodes formelles et...

Description du posteLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche. Vous serez chargé(e) de développer des outils logiciels pour la programmation quantique.Vous êtes qui ?Nous recherchons quelqu'un ayant un doctorat ou plus de trois ans d'expérience dans une équipe de recherche,...

Offre 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...

Postdoctorat 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...

Pré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...

Offre 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...

Offre 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...

Qui sommes-nous ?Thales Research & Technology est un centre de recherche et de technologie français du groupe Thales, situé sur le campus de l'École polytechnique à Palaiseau. Nous sommes un équipe de chercheurs et d'ingénieurs qui travaillons sur des projets innovants dans les domaines de la programmation quantique, de l'intelligence...

Offre de posteVous rejoindrez 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 plateformes logicielles...

Description de l'offreVous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Nous sommes à la recherche d'un candidat motivé et compétent pour relever des défis scientifiques et techniques ambitieux.Le candidat retenu doit être titulaire d'un doctorat en...

Découvrez notre Offre de Chaire de Professeur Junior en Réseaux QuantiquesNous sommes l'Institut Mines-Télécom, une école d'ingénieurs généralistes du numérique où nous recherchons un professeur junior pour rejoindre notre équipe QURIOSTY.Le Développement des Réseaux QuantiquesL'équipe QURIOSTY travaille sur l'information...

Poste d'Ingénieur calcul quantique pour écoulements multi-physiquesL'ONERA recrute un ingénieur calcul quantique pour rejoindre son équipe de recherche en propulsion aéronautique. Le candidat sélectionné travaillera sur la simulation numérique de chambres de combustion et d'écoulements multi-physiques.Compétences requisesConnaissances en méthodes...

Présentation du posteL'ONERA, un leader dans la recherche aéronautique et spatiale, recherche un ingénieur quantique pour rejoindre son équipe de recherche. Vous serez chargé de développer des algorithmes quantiques pour simuler les écoulements multi-physiques dans la propulsion aéronautique.MissionsÉvaluer les algorithmes quantiques pour la...