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

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

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

À propos du poste Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un Ingénieur Chercheur spécialisé dans la vérification et la validation de systèmes d'intelligence artificielle. Vous rejoindrez notre groupe LSL/AISER, spécialisé en explicabilité, résilience et sureté des systèmes d'IA. Vos missions ...

Description de l'OffreLe CEA recherche un Ingénieur Chercheur spécialisé en vérification et validation de systèmes d'intelligence artificielle. Vous rejoindrez notre équipe LSL/AISER, spécialisée en explicabilité, résilience et sureté des systèmes d'intelligence artificielle.MissionVotre mission consiste à développer et mettre en œuvre des...

Description de l'OffreLe CEA recherche un Ingénieur Chercheur pour rejoindre son équipe de spécialistes en assurance qualité des systèmes d'intelligence artificielle.MissionL'objectif principal de ce poste est de développer et de mettre en œuvre des méthodes avancées de vérification et de validation pour garantir la fiabilité, la robustesse et la...

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

Présentation de l'établissementL'Institut Mines-Télécom, à travers Télécom Paris, est une institution prestigieuse parmi les meilleures écoles d'ingénieurs en France, reconnue pour son excellence académique et sa recherche innovante.Objectif du posteNous recherchons un(e) chercheur(e) postdoctoral(e) spécialisé(e) en génie logiciel et...

Description de l'offreRejoignez le CEA pour contribuer à la création de systèmes d'intelligence artificielle fiables et sûrsLe Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Ingénieur Chercheur spécialisé(e) en vérification et validation de systèmes d'intelligence artificielle.Votre missionVous serez...

MissionL'ONERA recherche un ingénieur de recherche en méthodes formelles pour rejoindre son département Traitement de l'Information et Systèmes (DTIS). Vous serez affecté à l'unité de recherche « Modélisation et Ingénierie des systèmes Distribués et des Logiciels » à Palaiseau (unité bi-site Palaiseau-Toulouse).ObjectifsVotre mission consiste...