Stagiaire dans le Domaine des Méthodes Formelles pour la Sécurité
il y a 4 jours
Missions Le projet de stage est consacré à l'analyse de sécurité des systèmes de communication, tels que les protocoles et les services, à l'aide de méthodes formelles. Plus précisément, le/la stagiaire intégrera une équipe de recherche qui étudie les energy games et les prouveurs pour construire et analyser des arbres d'attaques, en collaboration avec un partenaire industriel. Etudier des solveurs largement utilisés tels que, par exemple, ProVerif et examiner comment attribuer des coûts (prix) et/ou des délais aux scénarios d'attaque correspondants (arbres), afin d'exécuter ensuite des algorithmes ou des solveurs spécialisés (SAT/SMT, model checkers statistiques, etc.). Activités - Mener des recherches dans le domaine des méthodes formelles pour la sécurité, notamment : - Participation régulière aux réunions - Travail en équipe de recherche - Modélisation des scénarios d'attaques dans ProVerif (ou un solveur similaire), analyse, traitement et amélioration du résultat - Évaluation expérimentale 2. Présentation et publication des résultats obtenus, notamment : - Séminaires et colloques - Mémoire de fin d'études
-
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinPrésentation de Télécom SudParis :Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l'excellence scientifique de son corps professoral et une pédagogie mettant l'accent sur les projets d'équipes, l'innovation de rupture et...
-
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinPrésentation de Télécom SudParis :Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l'excellence scientifique de son corps professoral et une pédagogie mettant l'accent sur les projets d'équipes, l'innovation de rupture et...
-
place Marguerite Perey PALAISEAU, Île-de-France, France Institut Mines-Télécom Temps pleinDescription de l'offre d'emploi Présentation de Télécom SudParis :Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l'excellence scientifique de son corps professoral et une pédagogie mettant l'accent sur les projets...
-
Palaiseau, Île-de-France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Palaiseau (Nano-Innov) - France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Palaiseau (Nano-Innov) - France, Ile-de-France, Essonne () CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Palaiseau (Nano-Innov) - France, Ile-de-France, Essonne () CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...
-
Ingénieur en Vérification formelle d’algorithmes à base d’IA
il y a 6 jours
Palaiseau, France Thales - CortAIx Factory (AI by Thales) Temps pleinLieu : Palaiseau, FranceConstruisons 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 Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et...
-
Palaiseau, Île-de-France EDF Temps pleinMise en ligne le Type de contrat : StageNiveau de formation : BAC +4 / BAC +5Expérience : DébutantSpécialité(s) : Concepteur DéveloppeurPays / Région : France / Ile-de-FranceDépartement : Essonne (91)Ville : Palaiseau Description de l'offreContexteEDF R&D a pour missions principales de contribuer à l'amélioration de la performance des unités...
-
Palaiseau, France EDF Temps pleinCONTEXTE ET OBJECTIF DU STAGE EDF R&D travaille maintenant depuis des années dans le domaine du comptage de l'énergie. Les compteurs communicants actuels remplissent des fonctions de plus en plus complexes. Ainsi la création d'un modèle de données informatiques a été obligatoire pour permettre leur implémentation et leur interopérabilité. Cependant...
