Emplois actuels liés à Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau - Palaiseau nanoInnov - Cea
-
Palaiseau, France CEA Temps pleinDescription de l'offre Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des challenges 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...
-
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 combinant des méthodes d'analyse de programme et d'intelligence artificielle.Domaines...
-
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreVous rejoindrez notre équipe de recherche et développement au CEA, spécialisée dans l'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 de recherche de l'excellence...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 4 jours
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 15 heures
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 5 jours
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 jours
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 1 semaine
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France CEA Temps pleinÀ 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 ...
-
Ingénieur Chercheur en Vérification et Validation de Systèmes IA F/H
il y a 20 heures
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinPré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...
-
Ingénieur-Chercheur en Vérification et Validation de Systèmes IA F/H
il y a 1 semaine
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
Ingénieur de recherche en méthodes formelles h/f
il y a 3 jours
Palaiseau, Île-de-France ONERA Temps pleinPré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...
Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau
Il y a 4 mois
Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des challenges 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 différentiantes dont notre outil phare BINSEC. Les domaines d'applications associés concernent notamment l'analyse de vulnérabilités de composants tiers ou de librairies cryptographiques, la rétro-ingénierie, la protection de code et la preuve formelle au niveau binaire.
Le domaine général est de comprendre comment les méthodes d'analyse de programme et d'IA peuvent se combiner sur des scénarios d'analyse de sécurité au niveau du code binaire (reverse, malware) . Les travaux attendus du candidat sont :
concevoir, implanter et évaluer de nouvelles méthodes de compréhension de code, combinant des aspects analyse de programme boite blanche et inférence boite noire, implémenter ses méthodes et en évaluer la pertinence sur des cas représentatifs, valoriser ces assets à travers des publications.Vous contribuerez à des projets avec des partenaires académiques et industriels du LSL, ainsi que des projets de recherche collaboratifs français et européens, notamment dans les domaines de l'analyse de code et de la sécurité.
Profil recherché
Le candidat retenu doit être titulaire d'un doctorat (ou être sur le point de terminer) en Méthodes Formelles, Logique, Sécurité système ou Intelligence Artificielle. Nous recherchons principalement un candidat motivé et ayant des compétences en : analyse de programmes et méthodes formelles, logique et raisonnement automatique, synthèse de programme et de spécification, rétro-ingénierie.
La connaissance de la programmation fonctionnelle est un plus (idéalement, langage OCaml) .
Présentation de Cea
Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.
Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
• La conscience des responsabilités
• La coopération
• La curiosité