Ingénieur-Chercheur en méthodes formelles et cybersécurité logicielle bas niveau H/F
il y a 1 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é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 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...
-
Ingénieur de recherche en méthodes formelles
il y a 4 semaines
Palaiseau, Île-de-France ONERA Temps pleinQuelles 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é...
-
Ingénieur de recherche en méthodes formelles
il y a 1 mois
Palaiseau, France ONERA Temps pleinQuelles 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é...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES(H/F)
il y a 6 jours
Palaiseau, France ONERA Temps pleinA 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...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 3 semaines
Palaiseau, France Onera Temps pleinPré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...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 1 mois
Palaiseau, France Onera Temps pleinPré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...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 1 mois
Palaiseau, France Onera Temps pleinPré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...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 1 mois
Palaiseau, Île de France, Essonne Onera Temps pleinPré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 pleinCette 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 pleinMise 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 pleinQuelles 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...
-
Post doctorante ou Post doctorant en génie logiciel et cybersécurité
il y a 4 semaines
Palaiseau, France Institut Mines-Télécom Temps pleinQui 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 pleinQuelles 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 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 politique de...
-
Ingénieur Outils
il y a 1 mois
Palaiseau, France Atalian Maintenance et Energy Temps pleinDescription 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...
-
Ingénieur Chercheur en Vision et Deep Learning
il y a 1 mois
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 CEA recherche un(e) Ingénieur Chercheur en Vision et Deep Learning pour la CEA/ DRT ...
-
Ingénieur-chercheur en Vision par ordinateur pour la robotique
il y a 4 semaines
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 CEA recherche un(e) ingénieur(e)-chercheur(se) en Vision par ordinateur pour la...
-
Chercheur en Biologie Structurale
il y a 4 semaines
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 pleinDescription 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...
-
Ingenieur en modelisation et methodes numeriques aerobie
il y a 4 semaines
Palaiseau, Île-de-France ONERA Temps pleinQuelles 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...