Ingénieur-Chercheur en méthodes formelles et cybersécurité logicielle bas niveau H/F
il y a 4 semaines
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 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 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)...
-
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...
-
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...
-
Synthétiser Des Stratégies de Cybersécurité
il y a 4 semaines
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...
-
Ingénieur en conception de systèmes aérospatiaux avancés
Il y a 2 mois
Palaiseau, Île-de-France ONERA Temps pleinMissions 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 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...
-
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...
-
Ingénieur en Sécurité des Modèles Linguistiques
il y a 6 jours
Palaiseau, Île-de-France THALES Temps pleinTHALES 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 pleinMise 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é...
-
Igénieur Développement Logiciel Cfd
Il y a 3 mois
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...
-
Chercheur Cdd Au Llr en Physique Hadronique
Il y a 2 mois
Palaiseau, France CNRS Temps pleinCette 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...
-
Ingénieur de Recherche en Cybersécurité pour le Réseau
Il y a 5 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 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...
-
Ingénieur logiciel embarqué H/F
Il y a 2 mois
Palaiseau, France CENTUM T&S Temps pleinDepuis 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...
-
Ingénieur en Conception de Logiciels Embarqués H/F
il y a 6 jours
Palaiseau, Île-de-France Centum T&S Temps pleinPré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...
-
Chercheur Postdoctoral en Spintronique, Sot-mram
Il y a 2 mois
Palaiseau, France CNRS Temps pleinCette 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 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...