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

il y a 7 jours

Palaiseau, Île-de-France CEA Temps plein
Description de l'offre

Rejoignez 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 à garantir la fiabilité des systèmes IA de demain?

Ce poste de cadre en CDD est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).

Pourquoi rejoindre le CEA?

La recherche en informatique quantique a fait des progrès immenses récemment du côté matériel, et des machines quantiques utiles sont attendues pour un futur proche. Il est donc temps de concevoir et implémenter les outils logiciels adéquats pour le cas quantique, à l'image de ce qui existe en informatique classique.

A long terme, notre but est de 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.

Qu'attendons-nous de vous?

Nous considérons le modèle de programmation hybride standard, dans lequel un programme classique construit un circuit quantique et l'envoie à un co-processeur.

Pour ce poste, nous nous intéressons à des mécanismes de vérification qui visent à assurer, a priori, que l'exécution d'un programme quantique sera conforme à son comportement attendu.

Les principaux chantiers à l'œuvre sont :

  • La vérification automatisée pour des propriétés de programmes de haut niveau implicites
  • La vérification fonctionnelle de haut niveau pour des programmes quantiques
  • La vérification d'équivalence pour des circuits quantiques

Le poste inclut des recherches théoriques aussi bien que le développement de prototypes et de l'analyse expérimentale. Les résultats sont destinés à être intégrés dans Qbricks.

Profil du candidat

Vous avez encore un doute?

Les à-côtés de votre mission principale peuvent vous intéresser :

  • Un écosystème de recherche à la pointe, unique en son genre et dédié à des thématiques à fort enjeu sociétal, qui donne du sens à votre mission
  • Des formations pour renforcer vos compétences, en acquérir de nouvelles et booster votre mission
  • Un équilibre vie privée / vie professionnelle reconnu par nos collaborateurs
  • La possibilité de télétravailler pour équilibrer les temps de transport et contribuer à votre qualité de vie
  • Un CE riche en avantages et en activités sociales, culturelles et sportives
  • Un lieu de travail au cœur d'un plateau dynamique, entouré d'écoles et d'entreprises de la tech
  • Un restaurant d'entreprise subventionné à proximité
  • Un plan d'épargne entreprise avec abondement employeur
  • Des frais de transports en commun couverts à 75%
  • Des navettes dédiées au départ de Paris

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)

Cela vous tente? Postulez, ce poste est fait pour vous

Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes en situation de handicap, cet emploi est ouvert à toutes et à tous.

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

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreLe CEA recherche un 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 (idéalement OCaml)Connaissance des méthodes formelles...

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

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 3 jours

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreLe CEA recherche un 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 (idéalement OCaml)Connaissance des méthodes formelles...

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

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreLe CEA recherche un 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 (idéalement OCaml)Connaissance des méthodes formelles...

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

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 1 semaine

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 3 jours

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de posteNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe LSL/SABR, spécialisée en analyse automatique de code exécutable pour la sécurité. Vous travaillerez sur des projets scientifiques et techniques ambitieux, en collaboration avec des partenaires académiques et industriels.Compétences requisesVous devez être titulaire...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de rechercheNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en cybersécurité logicielle bas niveau.ContexteVous 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...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur de recherche en méthodes formelles

    il y a 3 semaines

    Palaiseau, Île-de-France ONERA Temps plein

    A propos de l'entreprise :L'ONERA, un acteur central de la recherche aéronautique et spatiale, emploie 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...

  • Ingénieur de recherche en méthodes formelles h/f

    il y a 4 semaines

    Palaiseau, Île-de-France ONERA Temps plein

    Présentation du posteL'ONERA, leader de la recherche aéronautique et spatiale en France, recherche un ingénieur de recherche en méthodes formelles pour rejoindre son équipe de recherche. Vous serez chargé de développer des études et recherches dans le domaine de l'ingénierie logicielle et des méthodes formelles.MissionsVos missions seront les...

  • Ingénieur de recherche en méthodes formelles h/f

    il y a 2 semaines

    Palaiseau, Île-de-France ONERA Temps plein

    Présentation du posteL'ONERA, leader de la recherche aéronautique et spatiale en France, recherche un ingénieur de recherche en méthodes formelles pour rejoindre son équipe de développement de logiciels aérospatiaux. Vous serez chargé de développer des études et recherches dans le domaine informatique et de contribuer à des projets de différentes...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    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 combinant des méthodes d'analyse de programme et d'intelligence artificielle.Domaines...