Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G H/F
il y a 3 jours
Informations 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 socle de recherche fondamentale. Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au cœur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales :
• La conscience des responsabilités
• La coopération
• La curiosité
Référence
Domaine
Mathématiques, information scientifique, logiciel
Contrat
CDD
Intitulé de l'offre
Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G H/F
Statut du poste
Cadre
Durée du contrat (en mois)
18
Description de l'offre
Les futurs réseaux 6G permettront la transmission de données à haute vitesse avec une latence très faible. De nouvelles applications pourraient présenter des risques significatifs en termes de sécurité. Il sera essentiel de fournir des techniques de surveillance des flux de communication au niveau du protocole réseau pour détecter d'éventuelles intrusions de la part d'acteurs malveillants. Nous proposons d'utiliser la Vérification en Temps d'Exécution (RV). La RV consiste à observer les exécutions du système et à les analyser pour vérifier leur conformité à un objet de référence formel. Nous nous concentrerons sur la sécurité au niveau du réseau, et donc, des techniques de RV dédiées aux systèmes distribués seront utilisées. Ces techniques consistent à identifier les exécutions dans un flux de communication qui ne sont pas conformes aux protocoles de communication du système. La technique envisagée utilise des modèles d'interaction comme modèles de référence formels (par exemple, des diagrammes de séquence UML ou des graphiques de séquence de messages). Les langages d'interaction définissent des modèles graphiques utilisés pour représenter l'échange d'informations entre les composants. Dans [1], les auteurs utilisent de tels modèles d'interaction pour la RV de systèmes concurrents, dont les exécutions sont enregistrées sous forme de traces d'exécution sur une seule interface. Cela a ensuite été étendu au cas des systèmes distribués dans [2] : au lieu d'analyser une seule trace d'exécution, l'algorithme de RV analyse une collection de traces d'exécution, enregistrées sur les différentes interfaces associées aux différentes ressources matérielles impliquées dans le système. Les algorithmes de RV fonctionnent hors ligne, c'est-à-dire que les traces d'exécution sont enregistrées avant leur analyse. Une approche en ligne, c'est-à-dire où les actions atomiques sont observées via des sondes et traitées dès leur observation, est actuellement en cours de définition.
Profil du candidat
Vous avez un doctorat en informatique dans le domaine des méthodes formelles, de préférence avec des connaissances en Vérification en Temps d'Exécution ou en Test Basé sur les Modèles. Vous êtes intéressé par l'optimisation des algorithmes en termes de temps d'exécution et d'espace mémoire, et vous avez des connaissances en systèmes distribués. Vous appréciez l'application des méthodes formelles à des cas d'utilisation concrets et l'évaluation de leur mise à l'échelle. Vous aimez développer des outils logiciels et avez de l'expérience en programmation (l'expérience en C++ ou en Rust serait un plus).
Site
Saclay
Localisation du poste
France, Ile-de-France, Essonne (91)
Ville
Saclay
Langues
Anglais (Courant)
Disponibilité du poste
01/09/2023
-
Ingénieur sécurité
il y a 2 jours
Saclay, Î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...
-
Ingénieur sécurité
il y a 2 jours
Saclay, Î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...
-
Ingénieur(e) Sécurité
il y a 2 jours
Saclay, Î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...
-
Ingénieur Sécurité d'Installation H/F
il y a 4 jours
Saclay, Î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...
-
Ingénieur sécurité
il y a 3 jours
Saclay, Île-de-France CEA Temps pleinNous cherchons un(e) ingénieur(e) sécurité d'installation. Ce poste de cadre en CDI est basé sur le site du CEA Paris-Saclay, Essonne (91).Ce poste est à pourvoir dès que possible.Intégré à la cellule Qualité-Hygiène-Sécurité-Environnement (QHSE) du département, vous interviendrez au sein de l'installation n° 1 du CEA/Saclay.Cette installation...
-
Ingénieur sécurité d'installation H/F
il y a 2 jours
Saclay, Île-de-France CEA Temps pleinAu sein du SPRE, nous recherchons un(e) Ingénieur(e),en CDI à temps plein, en Sécurité d'Installation - suppléant(e) IGG et responsable de l'Unité Autorisée à Organiser des Transports (UAOT) du SPRE.Sur le site du CEA Saclay, le SPRE est responsable de deux installations (I17 et I57) soumises au code de la santé publique.En collaboration avec les...
-
Ingénieur(e) en instrumentation et système embarqué H/F
il y a 2 jours
Saclay, Î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...
-
Saclay, Î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...
-
Chargé de système d'acquisition F/H
il y a 5 jours
Saclay, Île-de-France DGA - Direction générale de l'armement Temps pleinDescriptif de l'organisationLe ministère des Armées assure la protection du territoire national, de la population et des intérêts français partout dans le monde. Il emploie, outre les militaires, plus de civils en France et à l'étranger. Rejoindre ce ministère c'est rejoindre une communauté de personnes exerçant ainsi leurs talents dans une grande...
-
Ingénieur modélisation et validation en Thermohydraulique
il y a 2 jours
Saclay, Î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...
