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

il y a 1 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é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)



  • 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, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Le Département Traitement de l'Information et Systèmes (DTIS) mène des études et recherches pour maîtriser la conception, les opérations et l'autonomie des systèmes aérospatiaux. Vous serez affecté à l'unité de recherche « Modélisation et Ingénierie des systèmes Distribués et des Logiciels » à Palaiseau (unité...


  • Palaiseau, France ONERA Temps plein

    Quelles sont les missions ?Le Département Traitement de l'Information et Systèmes (DTIS) mène des études et recherches pour maîtriser la conception, les opérations et l'autonomie des systèmes aérospatiaux. Vous serez affecté à l'unité de recherche « Modélisation et Ingénierie des systèmes Distribués et des Logiciels » à Palaiseau (unité...


  • Palaiseau, France ONERA Temps plein

    A propos de l'entreprise :L'ONERA, acteur central de la recherche aéronautique etspatiale, emploie plus de 2000 personnes. Placé sous la tutelle duministère des Armées, il dispose d'un budget de 289 millionsd'euros (2023), dont plus de la moitié provient de contratsd'études, de recherche et d'essais. Expert étatique, l'ONERAprépare la défense de...


  • Palaiseau, France Onera Temps plein

    Présentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 289 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 Onera Temps plein

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


  • Palaiseau, France Onera Temps plein

    Présentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 289 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, Île de France, Essonne Onera Temps plein

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

  • Chercheur Post-doctoral

    il y a 2 jours


    Palaiseau, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : vendredi 14 juin 2024 **Informations générales**: **Intitulé de l'offre **:CHERCHEUR POST-DOCTORAL (H/F) : Transfert-printing pour l'hybridation de dispositifs photoniques** Référence : UMR9001-SOPBOU-002 Nombre de Postes : 1 Lieu de travail :...

  • Alternance Cybersécurité

    il y a 4 semaines


    Palaiseau, France EDF Temps plein

    Mise en ligne le 26/02/2024 Principales caractéristiques de l'offre d'emploi - Type de contrat: - Alternance - Niveau de formation: - BAC +4 / BAC +5 - Expérience: - Débutant - Spécialité(s): - Recherche & Développement - Pays / Région: - France / Ile-de-France - Département: - Essonne (91) - Ville: - Palaiseau - EDF est labellisé Happy...


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

    Quelles sont les missions ?L'équipe conduit des recherches dans le domaine des méthodologies multidisciplinaires (optimisation multidisciplinaire (MDO), optimisation, modèles de substitution, incertitudes), les applique à la conception de véhicules aérospatiaux, sur des domaines aéronautique, transport spatial, systèmes de défense. L'équipe...


  • 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, France ONERA Temps plein

    Quelles sont les missions ?L'équipe conduit des recherches dans le domaine des méthodologies multidisciplinaires (optimisation multidisciplinaire (MDO), optimisation, modèles de substitution, incertitudes), les applique à la conception de véhicules aérospatiaux, sur des domaines aéronautique, transport spatial, systèmes de défense. L'équipe...


  • Palaiseau, France THALES Temps plein

    QUI 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 politique de...

  • Ingénieur Outils

    il y a 1 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 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 CEA recherche un(e) Ingénieur Chercheur en Vision et Deep Learning  pour la CEA/ DRT ...


  • 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 CEA recherche un(e) ingénieur(e)-chercheur(se) en Vision par ordinateur pour la...


  • Palaiseau, France Inovarion Temps plein

    **Notre structure** Inovarion est une structure de Recherche et d’Innovation créée en 2013. A l’interface entre recherche fondamentale et développement industriel, Inovarion apporte son savoir-faire et son expertise aux grands acteurs publics et privés des Sciences du Vivant. Devenu en 9 ans un acteur central de la Recherche et du Développement en...

  • Chargé de Projets Européens

    il y a 4 semaines


    Palaiseau, France CEA Temps plein

    Description du poste **Domaine**: - Management et projet **Contrat**: - CDD **Intitulé de l'offre**: - Chargé de projets Européens H/F **Statut du poste**: - Cadre **Durée du contrat (en mois)**: - 18 à 36 **Description de l'offre**: - Vous rejoindrez notre laboratoire, spécialisé autour de trois thématiques: - l’analyse sémantique de...


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

    Quelles sont les missions ?Intégrez l'unité MPA travaillant principalement sur la simulation numérique de chambres de combustion de turbomachines et de statoréacteurs/statomixtes. Cette équipe met en oeuvre et (co-)développe des outils allant de l'approche système, pour les performances du moteur complet, à la simulation CFD multi-physiques. Vos...