Emplois actuels liés à Chercheur en méthodes formelles et intelligence artificielle pour la sécurité logicielle H/F - Palaiseau, Île-de-France - CEA
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Ingénieur Chercheur en Vision et Intelligence Artificielle
il y a 3 semaines
Palaiseau, Île-de-France CEA Temps pleinPoste de Cadre en Vision et Intelligence ArtificielleL'Institut List du CEA recherche un(e) Ingénieur Chercheur en Vision et Intelligence Artificielle pour rejoindre son équipe de recherche dans le domaine de la vision par ordinateur et de l'intelligence artificielle.ResponsabilitésContribuer à la réflexion scientifique et technique nécessaire...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Palaiseau, Île-de-France CEA Temps pleinOffre 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...
-
Palaiseau, Île-de-France CNRS Temps pleinPostdoctorat 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...
-
Ingénieur de recherche en méthodes formelles
il y a 4 semaines
Palaiseau, Île-de-France ONERA Temps pleinA propos de l'entrepriseL'ONERA est un acteur central de la recherche aéronautique et spatiale, employant plus de 2000 personnes. Placé sous la tutelle du ministère des Armées, il dispose d'un budget de 289 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l'ONERA prépare la...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 semaines
Palaiseau, Île-de-France CEA Temps pleinRecherche 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 Intelligence Artificielle
il y a 3 semaines
Palaiseau, Île-de-France Aijobs Temps pleinDescription du Rôle Type de Contrat: Contrat Temporaire Titre du Poste: Ingénieur Chercheur en Machine Learning - IA de Confiance H/F Statut: Cadre Durée du Contrat: 18 mois Nous recherchons un ingénieur chercheur pour rejoindre notre équipe de recherche et développement en Intelligence Artificielle. Vous serez chargé de maitriser l'état de...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreL'Ingénieur Chercheur pour la Vérification et la Validation de Systèmes IA rejoindra le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) pour contribuer à l'amélioration de la confiance dans les systèmes d'intelligence artificielle.Pourquoi rejoindre le CEA ?Votre mission vous permettra de travailler au...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreVous 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é. Nous sommes à la recherche d'un candidat motivé et compétent pour relever des défis scientifiques et techniques ambitieux.Le candidat retenu doit être titulaire d'un doctorat en...
-
Chercheur en Intelligence Artificielle
il y a 2 semaines
Palaiseau, Île-de-France ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES Temps pleinMissionL'ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES recherche un chercheur en intelligence artificielle pour rejoindre son équipe de recherche en systèmes autonomes. Le candidat idéal sera un expert en conception de systèmes complexes, capable de développer des solutions innovantes pour les défis de la robotique et de la...
-
Palaiseau, Île-de-France CEA Temps pleinIngé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...
-
Palaiseau, Île-de-France CEA Temps pleinIngé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 pour le quantique
il y a 4 jours
Palaiseau, Île-de-France CEA Temps pleinDé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 pleinOffre 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é...
Chercheur en méthodes formelles et intelligence artificielle pour la sécurité logicielle H/F
Il y a 3 mois
Présentation du poste
Au sein de notre département LSL/SABR, vous serez impliqué dans l'analyse automatisée de code exécutable axée sur la sécurité. Nous visons à relever des défis scientifiques et techniques de haut niveau, en mettant l'accent sur l'excellence scientifique et la collaboration en équipe. Notre outil phare, BINSEC, illustre notre approche unique. Les domaines d'application incluent l'évaluation des vulnérabilités des composants tiers, l'analyse de librairies cryptographiques, la rétro-ingénierie, ainsi que la protection de code et la vérification formelle au niveau binaire.
Le champ d'action consiste à explorer comment les techniques d'analyse de programme et d'intelligence artificielle peuvent s'intégrer dans des scénarios d'analyse de sécurité au niveau du code binaire (reverse engineering, malware). Les contributions attendues du candidat incluent :
· la conception, l'implémentation et l'évaluation de nouvelles approches pour la compréhension de code, alliant analyse de programme à boîte blanche et inférence à boîte noire,
· l'implémentation de ces méthodes et l'évaluation de leur pertinence sur des cas concrets,
· la valorisation de ces travaux à travers des publications scientifiques.
Vous participerez à des projets en collaboration avec des partenaires académiques et industriels du LSL, ainsi qu'à des initiatives de recherche collaboratives au niveau national et européen, notamment dans les domaines de l'analyse de code et de la sécurité.
Profil recherché
Le candidat idéal doit détenir un doctorat (ou être en phase de finalisation) en Méthodes Formelles, Logique, Sécurité des systèmes ou Intelligence Artificielle. Nous recherchons principalement une personne motivée possédant des compétences en : analyse de programmes, méthodes formelles, logique et raisonnement automatique, ainsi que synthèse de programmes et spécifications, et rétro-ingénierie.
Une connaissance des langages de programmation fonctionnelle serait un atout (idéalement OCaml).
Conformément aux engagements du CEA en faveur de l'intégration des personnes en situation de handicap, ce poste est ouvert à toutes et à tous.
