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?Thales Research & Technology est un centre de recherche et de technologie situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay.MissionNos équipes travaillent en partenariat avec le monde académique et les entreprises innovantes pour proposer des...

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 (TRT) France est le centre de recherche et 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.Poste ouvertNous recherchons un Ingénieur de...

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

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

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

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

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

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

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

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

Description de l'offreL'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...

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

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

Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.En synthèse, 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 à...