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

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

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 utilisant des méthodes et plateformes logicielles innovantes. Les domaines d'application...

Offre de posteVous rejoindrez 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 plateformes logicielles...

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

Description de l'offre Le CEA recherche un Ingénieur-Chercheur pour rejoindre son équipe de recherche en informatique quantique. Le candidat idéal aura une expertise en méthodes formelles et une expérience dans le développement de logiciels pour la programmation quantique. Les principaux chantiers à l'œuvre sont : La vérification...

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

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

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 utilisant des méthodes de recherche de l'excellence scientifique associées au travail en...

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

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

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

Description de l'offreUn poste de recherche en informatique quantiqueLe 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 requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel...

L'ingénieur chercheur en méthodes formelles pour le quantique sera chargé de concevoir et d'implémenter les outils logiciels nécessaires pour la programmation quantique formellement vérifiée.Ce poste est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Nous recherchons un candidat qui a une expertise dans les méthodes formelles et...

Description du posteLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche. Vous serez chargé(e) de développer des outils logiciels pour la programmation quantique.Vous êtes qui ?Nous recherchons quelqu'un ayant un doctorat ou plus de trois ans d'expérience dans une équipe de recherche,...

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

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

Description de l'offre'Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité.'EN SYNTHESE, QU'EST-CE QUE NOUS VOUS PROPOSONS ?Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e)...

Offre de posteL'Ingénieur de Recherche en Cybersécurité IA pour le Réseau rejoindra l'équipe de recherche et développement du CEA/DRT pour travailler sur les technologies réseau logicielles innovantes en réponse aux enjeux télécom.MissionLa mission principale de l'Ingénieur de Recherche en Cybersécurité IA pour le Réseau consiste à...

Offre de posteL'Institut national de recherche et d'énergie (CEA) recherche un(e) Ingénieur de Recherche en Cybersécurité IA pour le Réseau pour la Direction de la Recherche Technologique.Ce poste est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Vous serez chargé(e) de participer au développement de solutions de cybersécurité...

Offre de posteL'Institut de recherche et de développement CEA recherche un(e) Ingénieur de Recherche en Cybersécurité IA pour le Réseau pour la Direction de la Recherche Technologique.Ce poste de cadre en CDD est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Vous serez chargé(e) de participer au développement de solutions de...