Ingénieur Calculs Quantique

QUI SOMMES-NOUS ? Situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de Thales. Grâce à...

Qui sommes-nous ?Thales Research & Technology est le centre de recherche et de technologies du groupe Thales. Nous sommes situés sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay.Nos équipes de recherche travaillent en partenariat avec le monde académique et les...

Qui sommes-nous ?Thales Research & Technology est un centre de recherche et de technologies français du groupe Thales, situé sur le campus de l'École polytechnique à Palaiseau. Nous sommes un équipe de plus de 250 ingénieurs de recherche, 30 doctorants et nombreux stagiaires et coopérants.Le Groupe de Recherche Sciences et Techniques de...

A propos de l'entreprise :L'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). Expert étatique, l'ONERA prépare la défense de demain, répond aux enjeux aéronautiques et spatiaux du futur, et...

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

Présentation de l'ONERAL'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2100 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 294 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique,...

Présentation du posteL'ONERA, leader de la recherche aéronautique et spatiale, recherche un Ingénieur calcul quantique pour écoulements multi-physiques pour rejoindre son équipe de recherche. Cette opportunité consiste à étudier les applications du calcul quantique à la simulation d'écoulements multi-physiques pour la propulsion...

Qui sommes-nous ?Thales Research & Technology est un centre de recherche et de développement qui travaille sur des projets innovants dans le domaine de la technologie.Nous sommes à la recherche d'un Ingénieur de Recherche en Programmation Quantique pour rejoindre notre équipe de développement de logiciels quantiques.MissionVous serez chargé de...

Présentation de l'ONERAL'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2100 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 294 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique,...

Présentation de l'ONERAL'ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2100 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 294 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique,...

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

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

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

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

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

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

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

Qui sommes-nous ?Situé sur le campus de l'École polytechnique, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales.Nous sommes un équipe de plus de 250 ingénieurs de recherche, 30 doctorants et stagiaires, travaillant sur des projets innovants dans les domaines de l'hardware, de...