Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau H/F
Il y a 4 mois
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.
-
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, France CEA Temps pleinDescription de l'offre « Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ? Le C ommissariat à l' É nergie A tomique et aux É nergies A lternatives ( CEA )...
-
Palaiseau, France CEA Temps pleinDescription de l'offre « Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ? Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e)...
-
Ingénieur de Recherche en Explicabilité des modèles d'IA
il y a 1 semaine
Palaiseau, France THALES Temps pleinQUI SOMMES-NOUS ?Construisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...
-
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Mathématiques, information scientifique, logiciel **Contrat**: - Stage **Intitulé de l'offre**: - Stage - Système de détection et de réponse aux intrusions par IA H/F **Sujet de stage**: - Dans un contexte en constante évolution, vous travaillerez sur l'amélioration du système de détection d'intrusions...
-
Palaiseau, France THALES Temps pleinQUI SOMMES-NOUS ?Construisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...
-
Palaiseau, France CEA Temps pleinDescription de l'offre « Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit d'innovation. » CE QUE LE CEA VOUS PROPOSE : Le CEA recherche un(e) Ingénieur de Recherche en Cybersécurité IA pour le Réseau pour la CEA/DRT (Direction de...
-
Ingénieur de Recherche en Explicabilité des modèles d'IA
il y a 2 semaines
Palaiseau, Essonne, France THALES Temps pleinQUI SOMMES-NOUS ? Construisons ensemble un avenir de confiance Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...
-
Ingénieur de Recherche en Explicabilité des modèles d’IA
il y a 2 semaines
Palaiseau, France THALES Temps pleinQUI SOMMES-NOUS ?Construisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...
-
Ingénieur de recherche en optimisation boite noire et IA
Il y a 4 mois
Palaiseau, France Thales Temps pleinQUI SOMMES-NOUS ? Situé sur le campus de l’École polytechnique, au cœur du pôle scientifique et technologique d’envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de Thales. Grâce à une...
-
Palaiseau, Île-de-France THALES Temps pleinChez Thales, nous recherchons un Ingénieur en Corpus documentaire pour rejoindre notre équipe de recherche dans le domaine de l'Intelligence Artificielle (IA) et la cybersécurité. Dans ce rôle, vous serez chargé(e) de :Identifier les thématiques clés liées aux formations supérieures correspondant aux domaines de l'IA et de la...
-
Ingénieur de recherche en optimisation boite noire et IA
Il y a 3 mois
Palaiseau, France Thales Temps pleinQUI SOMMES-NOUS ?Construisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...
-
Ingénieur de recherche en optimisation boite noire et IA
Il y a 3 mois
Palaiseau, Essonne, France Thales Temps pleinQUI SOMMES-NOUS ?Construisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...
-
Ingénieur de Recherche IA en Biométrie F/H
il y a 2 semaines
Palaiseau, France THALES Temps pleinQUI SOMMES-NOUS ?Construisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...
-
Chercheur Post-doctoral
Il y a 3 mois
Palaiseau, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 9 octobre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur post-doctoral (H/F) - Hybridation de micro-LEDs sur circuits flexibles pour prototype d'implant cochélaire optique** Référence :...
-
(H/F) Chercheur Postdoctoral/chercheuse
Il y a 2 mois
Palaiseau, France CNRS Temps pleinCette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 1 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:(H/F) Chercheur postdoctoral/Chercheuse postdoctorale: dispositifs Josephson à base de graphène** Référence : UMR137-JAVVIL-009 Nombre de Postes...
-
STAGE – Ingénieur Sécurité de l'IA
il y a 1 mois
Palaiseau, France THALES Temps pleinQUI SOMMES-NOUS ?Construisons ensemble un avenir de confianceThales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...
-
Ingénieur Cybersécurité
Il y a 4 mois
Palaiseau, France École polytechnique Temps pleinLe poste Au sein la Direction de l'enseignement et de la recherche, rattaché(e) au Département d’Informatique (DIX), nous recherchons un/une Ingénieur Cybersécurité (F/H) . En tant que responsable de l'infrastructure informatique pour l'enseignement, vous serez chargé(e) de gérer et faire évoluer les plateformes de tests du MScT en...
-
Optimisation de L'ia
Il y a 2 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Autre **Contrat**: - Stage **Intitulé de l'offre**: - Optimisation de l'IA : pruning de Vision Transformers pour les systèmes embarqués **Sujet de stage**: - Peut-on appliquer une méthode de réduction des tokens généralisée aux modèles ViT multitâches? **Durée du contrat (en mois)**: - 6...
-
Ingénieur de Recherche IA en Biométrie F/H
il y a 2 semaines
Palaiseau, Essonne, France THALES Temps pleinQUI SOMMES-NOUS ? Construisons ensemble un avenir de confiance Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de...