Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau
il y a 3 semaines
Offre de recherche
Nous 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 recherche
Nos travaux de recherche visent à 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 objectifs spécifiques de ce poste sont :
- Concevoir, implémenter 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.
Compétences requises
Nous recherchons un candidat titulaire d'un doctorat (ou sur le point de terminer) en Méthodes Formelles, Logique, Sécurité système ou Intelligence Artificielle. Les compétences requises sont :
- Analyse de programmes et méthodes formelles.
- Logique et raisonnement automatique.
- Synthèse de programme et de spécification.
- Rétro-ingénierie.
Avantages de l'emploi
Cet emploi est ouvert à tous et toutes, conformément aux engagements pris par le CEA en faveur de l'intégration de personnes en situation de handicap.
-
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...
-
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 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 posteNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe LSL/SABR, spécialisée en analyse automatique de code exécutable pour la sécurité. Vous travaillerez sur des projets scientifiques et techniques ambitieux, en collaboration avec des partenaires académiques et industriels.Compétences requisesVous devez être titulaire...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreVous rejoindrez notre équipe de recherche et développement au 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 dans le domaine de la cybersécurité logicielle bas...
-
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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 jours
Palaiseau, Île-de-France CEA Temps pleinDescription 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...
-
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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription 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 pleinDescription 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...
-
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 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 4 semaines
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 3 semaines
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 4 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 4 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 7 jours
Palaiseau, Île-de-France CEA Temps pleinDescription 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 2 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription 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 semaine
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...