Ingénieur de Recherche en Programmation Quantique

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

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

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

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

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

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

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

Qui sommes-nous ?Thales Research & Technology (TRT) France est le centre de recherche et de technologies 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.Nous recherchons un :Ingénieur de recherche en...

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

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

Qui sommes-nous ?Thales Research & Technology est un centre de recherche et de développement situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique de Paris-Saclay. Nous sommes un équipe de chercheurs et d'ingénieurs passionnés par la recherche et l'innovation.Nos missionsNos missions sont de...

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

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

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

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

MissionVotre mission consistera à étudier les applications du calcul quantique à la simulation d'écoulements multi-physiques pour la propulsion aéronautique. Vous évaluerez des algorithmes quantiques dans le traitement des équations aux dérivées partielles de la combustion et assurerez le pilotage de travaux de recherche menés par des partenaires...

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, au service des activités mondiales de Thales.Grâce à une politique de partenariat proactive avec le monde académique et un réseau international d'entreprises...

Nous recherchons un professeur junior en réseaux quantiquesL'Institut Mines-Télécom, Télécom Paris, est une grande école française d'ingénieurs généralistes du numérique. Nous sommes à la recherche d'un professeur junior pour rejoindre notre équipe de recherche en réseaux quantiques.Vous serez chargé de conduire un programme de...

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