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

il y a 4 semaines


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

En tant que membre d’une équipe de pointe dans un environnement de recherche dynamique, vos missions consisteront à :

- la participation au développement de la plate-forme BINSEC d’analyse de code binaire pour la sécurité :

- la conception, implémentation et évaluation d’analyses innovantes pour la cybersécurité ;

- le montage/réalisation/gestion de projets de recherche ou de transfert de nos technologies vers nos partenaires industriels ;

- la veille scientifique et dissémination, notamment via l’écriture de rapports et articles ainsi que la participation aux conférences du domaine.

#CEA-List

Profil du candidat

Doctorat en Informatique, expérience en méthodes formelles ou raisonnement automatique ou compilation.

La connaissance de la programmation fonctionnelle est un plus (idéalement, langage OCaml).

Sens du travail en équipe, capacité à la prise d’initiative et de responsabilité (encadrement et gestion de projet)

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


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


  • Palaiseau, France CEA Temps plein

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

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

  • Chercheur Post-doctoral

    Il y a 3 mois


    Palaiseau, France CNRS Temps plein

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


  • Palaiseau, France CNRS Temps plein

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


  • Palaiseau, France École polytechnique Temps plein

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


  • Palaiseau, France Télécom Paris Temps plein

    **Synthétiser des stratégies de cybersécurité dynamiques pour les systèmes cyber-physiques // Synthetizing Dynamic Cybersecurity Strategies for Cyber Physical Systems**: - Réf **ABG-127252** **ADUM-59723** - Sujet de Thèse- 28/11/2024- Télécom Paris- Lieu de travail- Palaiseau - France- Intitulé du sujet- Synthétiser des stratégies de...


  • Palaiseau, Île-de-France ONERA Temps plein

    Missions et ResponsabilitésL'ONERA recherche un ingénieur en conception multidisciplinaire de systèmes aérospatiaux pour renforcer la compétence de recherche dans l'équipe M2CI. Les principales missions sont :Développer des méthodes numériques pour la conception multidisciplinaire, en lien avec les chercheurs de l'équipe.Identifier les besoins et...

  • Ingénieur Outils

    Il y a 6 mois


    Palaiseau, France Atalian Maintenance et Energy Temps plein

    Description du poste et Missions Dans le cadre de notre croissance, le pôle Maintenance & Energy d'Atalian recrute un(e) Ingénieur Outils & Méthodes Maintenance (H/F) en CDI à Palaiseau (91). Rattaché.e au Responsable Outils et méthodes, vous assurerez le bon fonctionnement des outils métiers et procédures techniques du pôle dans un souci de...


  • Palaiseau, France Institut Mines-Télécom Temps plein

    Qui sommes-nous ?Télécom Paris, école de l’IMT (Institut Mines-Télécom) et membre fondateur de l’Institut Polytechnique de Paris, est une grande école du top 5 des écoles d’ingénieurs généralistes françaises.La Raison d’Être de Télécom Paris est de former, imaginer et entreprendre pour concevoir des modèles, des technologies et des...


  • Palaiseau, Île-de-France THALES Temps plein

    THALES recherche un Ingénieur en Sécurité des Modèles Linguistiques pour rejoindre son équipe de chercheurs à Palaiseau. Ce poste consiste à développer des solutions pour améliorer la sécurité des modèles linguistiques, notamment contre les attaques par injection indirecte de « prompt ». Vous travaillerez sur l'analyse et la mise en œuvre de...

  • Stage Hyperviseur

    Il y a 2 mois


    Palaiseau, France EDF Temps plein

    Mise en ligne le 01/11/2024 Principales caractéristiques de l'offre d'emploi - Type de contrat: - Stage - Niveau de formation: - BAC +4 / BAC +5 - Expérience: - Débutant - Spécialité(s): - Informatique / Système d'informations - Pays / Région: - France / Ile-de-France - Département: - Essonne (91) - Ville: - palaiseau - EDF est labellisé...


  • Palaiseau, France ONERA Temps plein

    **Présentation de l'ONERA** L’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2100 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 294 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA prépare la...


  • Palaiseau, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : lundi 18 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur CDD au LLR en physique hadronique (H/F)** Référence : UMR7638-MATNGU-001 Nombre de Postes : 1 Lieu de travail : PALAISEAU Date de...


  • Palaiseau, France CEA Temps plein

    Description 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é pour le Réseau pour la CEA/DRT (Direction de...


  • Palaiseau, France CENTUM T&S Temps plein

    Depuis plus de 30 ans, CENTUM T&S apporte conseil et expertise à ses clients dans le domaine de l'électronique embarquée, qui offre une large gamme de services d'ingénierie de conception de systèmes électroniques embarqués aux clients mondiaux pour les aider à réaliser des produits et des sous-systèmes complexes. Centum T&S est un centre...


  • Palaiseau, Île-de-France Centum T&S Temps plein

    Présentation de l'entrepriseCENTUM T&S, un centre d'excellence en conception électronique, est spécialisé dans la création de produits et sous-systèmes complexes pour les secteurs aérospatiale, aéronautique, transports, électronique médicale et défense. Nous intervenons sur tout le cycle de vie du produit pour accompagner les entreprises dans...


  • Palaiseau, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 8 novembre 2024 23:59:00 heure de Paris **Informations générales**: **Intitulé de l'offre **:Chercheur postdoctoral en spintronique, SOT-MRAM (H/F)** Référence : UMR9001-DAFRAV-003 Nombre de Postes : 1 Lieu de travail : PALAISEAU Date de...


  • Palaiseau, France CEA Temps plein

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