{"id":11628,"date":"2025-04-30T09:00:16","date_gmt":"2025-04-30T07:00:16","guid":{"rendered":"https:\/\/talentimpulse.cea.fr\/offre-emploi\/ingenieur-chercheur-en-methodes-formelles-et-ia-pour-la-cybersecurite-logicielle-bas-niveau-f-h\/"},"modified":"2026-03-02T09:00:10","modified_gmt":"2026-03-02T08:00:10","slug":"ingenieur-chercheur-en-methodes-formelles-et-ia-pour-la-cybersecurite-logicielle-bas-niveau-f-h","status":"publish","type":"offre-emploi","link":"https:\/\/talentimpulse.cea.fr\/en\/offre-emploi\/ingenieur-chercheur-en-methodes-formelles-et-ia-pour-la-cybersecurite-logicielle-bas-niveau-f-h\/","title":{"rendered":"Ing\u00e9nieur-Chercheur en m\u00e9thodes formelles et IA pour la cybers\u00e9curit\u00e9 logicielle bas niveau F\/H"},"content":{"rendered":"<p>\u00ab Rejoignez le CEA pour donner du sens \u00e0 votre activit\u00e9, mener et soutenir des projets de R&amp;D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosit\u00e9. \u00bb \u00a0 EN SYNTHESE, QU\u2019EST-CE QUE NOUS VOUS PROPOSONS\u00a0? Le Commissariat \u00e0 l&rsquo;\u00c9nergie Atomique et aux \u00c9nergies Alternatives (CEA) recherche un(e) Ing\u00e9nieur-Chercheur en m\u00e9thodes formelles et IA pour la cybers\u00e9curit\u00e9 logicielle bas niveau. Vous souhaitez mettre votre expertise au service de projets innovants et contribuer \u00e0 garantir la fiabilit\u00e9 des syst\u00e8mes IA de demain ? Ce poste de cadre en\u00a0CDD est bas\u00e9 sur le site Nano-Innov de\u00a0Paris-Saclay,\u00a0Essonne (91). Il s&rsquo;agit d&rsquo;un poste \u00e0 pourvoir\u00a0d\u00e8s que possible. POURQUOI NOUS REJOINDRE ? Vous rejoindrez notre groupe, sp\u00e9cialis\u00e9 en analyse automatique de code ex\u00e9cutable pour la s\u00e9curit\u00e9. Pour relever des challengesscientifiques et techniquesambitieux, nous nous appuyons sur la recherche de l\u2019excellence scientifique associ\u00e9e au travail en \u00e9quipe pour capitaliser sur des m\u00e9thodes et plateformes logicielles diff\u00e9renciantes dont notre outil phare BINSEC. Les domaines d\u2019applications associ\u00e9s concernent notamment l\u2019analyse de vuln\u00e9rabilit\u00e9s de composants tiers ou de librairies cryptographiques, la r\u00e9tro-ing\u00e9nierie, la protection de code et la preuve formelle au niveau binaire. BINSEC : Analyse de code binaire pour la securite \u00a0 QU\u2019ATTENDONS-NOUS DE VOUS ? Le domaine g\u00e9n\u00e9ral est de comprendre comment les m\u00e9thodes d\u2019analyse de programme et d\u2019IA peuvent se combiner sur des sc\u00e9narios d\u2019analyse de s\u00e9curit\u00e9 au niveau du code binaire (reverse, malware). Les travaux attendus du candidat sont\u00a0:\u00a0 concevoir, implanter et \u00e9valuer de nouvelles m\u00e9thodes de compr\u00e9hension de code, combinant des aspects analyse de programme boite blanche et inf\u00e9rence boite noire impl\u00e9menter ses m\u00e9thodes et en \u00e9valuer la pertinence sur des cas repr\u00e9sentatifs valoriser ces assets \u00e0 travers des publications. Vous contribuerez \u00e0 des projets avec des partenaires acad\u00e9miques et industriels du LSL, ainsi que des projets de recherche collaboratifs fran\u00e7ais et europ\u00e9ens, notamment dans les domaines de l\u2019analyse de code et de la s\u00e9curit\u00e9. #CEA-List\u00a0#Cybersecurity #LI-SDL<\/p>","protected":false},"featured_media":0,"template":"","categories":[188,166,172,183],"tags":[],"class_list":["post-11628","offre-emploi","type-offre-emploi","status-publish","hentry","category-cybersecurite-hardware-et-software","category-intelligence-artificielle-et-data-intelligence","category-reseaux-de-communication-internet-des-objets-radiofrequences-et-antennes","category-reseaux-energetiques-intelligents"],"acf":[],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/offre-emploi\/11628","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/offre-emploi"}],"about":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/types\/offre-emploi"}],"wp:attachment":[{"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/media?parent=11628"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/categories?post=11628"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/talentimpulse.cea.fr\/en\/wp-json\/wp\/v2\/tags?post=11628"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}