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

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

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

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

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

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

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.ContexteLa recherche en informatique quantique a fait des progrès considérables récemment, et des machines quantiques utiles sont attendues pour un futur proche. Il est donc temps de...

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

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

Description de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée 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...

Description de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée 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...

Description du poste Vous intégrerez notre équipe LSL/SABR, dédiée à l'analyse automatique de code exécutable en matière de sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur l'excellence scientifique et la collaboration en équipe afin de tirer parti de méthodes et de plateformes logicielles...

Description de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée 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...

Description de l'offreNous recherchons un expert en méthodes formelles et intelligence artificielle pour rejoindre notre équipe de sécurité logicielle au CEA. Vous serez chargé de concevoir et d'implanter de nouvelles méthodes de compréhension de code, combinant des aspects d'analyse de programme et d'inférence.Compétences requisesLe...

Description du poste Le candidat rejoindra le groupe LSL/SABR, qui se concentre sur l'analyse automatique de code exécutable en matière de sécurité. Pour relever des défis scientifiques et techniques de haut niveau, nous misons sur l'excellence scientifique et le travail collaboratif, en utilisant des méthodes et des plateformes logicielles...

Description de l'OffreLe CEA recherche un Ingénieur Chercheur spécialisé en vérification et validation de systèmes d'intelligence artificielle pour rejoindre son équipe de recherche et développement.MissionL'Ingénieur Chercheur sera chargé de développer et de mettre en œuvre des méthodes avancées de vérification et de validation pour garantir...

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 travaillant sur des projets innovants dans les domaines de l'algorithmie, du logiciel et des systèmes.MissionNous...

Présentation de l'ONERAL'ONERA est un acteur clé dans le domaine de la recherche aéronautique et spatiale, avec une équipe de plus de 2100 professionnels. Sous la tutelle du Ministère des Armées, l'établissement dispose d'un budget de 294 millions d'euros, dont une part significative provient de contrats de recherche et d'études. En tant qu'expert...

Qui sommes-nous? Thales Research & Technology est un centre de recherche et de développement français du groupe Thales, situé sur le campus de l'École polytechnique à Palaiseau. Nous sommes un équipe de chercheurs et d'ingénieurs passionnés par l'innovation et la technologie. Le Groupe de Recherche Sciences et Techniques de l'Information de...

Présentation de l'ONERAL'ONERA est un acteur clé dans le domaine de la recherche aéronautique et spatiale, comptant plus de 2100 collaborateurs. Sous la tutelle du Ministère des Armées, l'établissement dispose d'un budget de 294 millions d'euros, dont une part significative provient de contrats de recherche et d'études. En tant qu'expert d'État,...

Offre de posteLe Centre National de la Recherche Scientifique (CNRS) recherche un chercheur post-doctoral pour rejoindre son équipe de recherche en optique quantique et nanophotonique. Le poste est financé dans le cadre du projet OQuLus, qui s'inscrit dans le PEPR Technologies Quantiques.MissionsLe chercheur post-doctoral sera chargé de développer des...