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

Il y a 3 mois

Palaiseau, France CEA Temps plein

Description 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 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 du candidat

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

Conformément aux engagements pris par le CEA en faveur de l’intégration de personnes en situation de handicap, cet emploi est ouvert à tous et toutes.

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

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Ingé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 et IA pour la cybersécurité logicielle bas niveau

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 1 mois

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 1 mois

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.Qu'est-ce que nous vous proposons?Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique.Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à garantir la...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 1 mois

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.Qu'est-ce que nous vous proposons?Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique.Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à garantir la...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique, spécialiste en développement d'outils logiciels

    il y a 1 semaine

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

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

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles et intelligence artificielle pour la cybersécurité logicielle bas niveau

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 1 semaine

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.En synthèse, qu'est-ce que nous vous proposons?Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique. Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 1 mois

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à l'avancement de la recherche en informatique quantique.En synthèse, nous vous proposons :Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique. Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 1 mois

    Palaiseau, Île-de-France CEA Temps plein

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

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

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