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'offre

Un poste de recherche en informatique quantique

Le 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 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)

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.

Les principaux chantiers à l'œuvre sont :

  • La vérification automatisée pour des propriétés de programmes de haut niveau implitcites
  • 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.

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)

Si vous êtes intéressé par ce poste, n'hésitez pas à postuler.

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

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 4 jours

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 1 semaine

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 1 semaine

    Palaiseau, Île-de-France CEA Temps plein

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

  • 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

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

  • 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 4 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, spécialiste en développement d'outils logiciels

    il y a 6 jours

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 1 mois

    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 pour le quantique

    il y a 4 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.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 à...

  • 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 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 3 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 4 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 1 mois

    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 H/F

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 1 mois

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

  • Chercheur postdoctoral en méthodes ensemblistes pour la vérification de réseaux de neurones

    il y a 1 semaine

    Palaiseau, Île-de-France CNRS Temps plein

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

  • Chercheur postdoctoral en méthodes ensemblistes pour la vérification de réseaux de neurones

    il y a 2 semaines

    Palaiseau, Île-de-France CNRS Temps plein

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