TekosTekosTekosTekos
  • Explorer
  • Comptes
  • Blog
Se connecter
OrganisationsThe Nuclear Energy AgencyIngénieur Chercheur en méthodes formelles pour le quantique

Observé chez

Logo de The Nuclear Energy Agency
The Nuclear Energy Agency

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

Informatique quantique

Informatique

Saclay, Paris-Saclay, Île-de-France

IT
OCamlQbricks

Rôle

Ingénieur Chercheur en méthodes formelles pour le quantique responsable de la vérification formelle de programmes quantiques hybrides et du développement de prototypes dans l'environnement Qbricks.

Technologies

OCamlQbricks

Contextes

Recherche en informatique quantiqueInformatique quantique

Compétences

Méthodes formellesVérification déductiveInformatique quantiqueModèle hybride quantique-classiqueCircuits quantiquesSémantique des opérateurs de densitéProgrammation fonctionnelleEncadrement et gestion de projetTravail en équipe

Challenges détectés

4 enjeux

Les principaux enjeux identifiés chez The Nuclear Energy Agency, avec les technologies et compétences associées.

  1. 01·Transformation

    Développer des techniques de vérification automatisée pour des propriétés de programmes quantiques de haut niveau

  2. 02·Conformité

    Assurer la vérification fonctionnelle de haut niveau pour des programmes quantiques

  3. 03·Optimisation

    Implémenter la vérification d'équivalence pour des circuits quantiques

  4. 04·Transformation

    Concevoir et implémenter les outils logiciels adéquats pour la programmation quantique sûre

Explorer ce profil dans Tekos

Profils proches

  • Chargé d'Affaires Projets Numériques
  • Chercheur Astrophysique Analyse de Données Stellaires
  • Data Analyst Projets Industriels
  • Développeur et Modélisateur Thermomécanique
  • Développeur logiciel contrôle non destructif
  • Développeur logiciel embarqué dosimètre
  • Développeur tableaux de bords
  • Informatique Traitement de Données Scientifiques
  • Ingénieur Chercheur Carburants Durables
  • Ingénieur Chercheur Développement Thermohydraulique
  • Ingénieur de Modélisation et Développement Logiciel Neutronique
  • Ingénieur de recherche en mécanique expérimentale des matériaux

Navigation

  • Accueil
  • Explorer
  • ESN

Fonctionnalités

  • Explorer
  • Objectifs
  • Playbooks
  • Copilot
  • Knowledge Engine
  • Présentation

Pour les ESN

  • Sortie de mission
  • Intercontrat ESN
  • Prospecter les recrutements
  • Ouverture de compte
  • Développement de compte
  • Référencement
  • Développement d'activité
  • Trouver une mission pour un consultant

Blog

  • Tous les articles
  • Licencier un intercontrat
  • Taux d'intercontrat
  • Que faire en intercontrat

Catégories

  • Toutes les catégories
  • Intercontrat
  • Prospection

Tekos

  • Changelog
  • Backlog
  • Fonctionnement des données
  • Community
Logo TekosLogo Tekos

Le carburant de votre prospection ESN.

© 2026 Tekos. Tous droits réservés.

Conditions Générales d'UtilisationPolitique de confidentialitéPolitique cookies