Ingénieur en Vérification de temps d’exécution pour la sécurité des systèmes basés sur la 6G – CDD F/H
Commissariat à l’Énergie Atomique
Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :
Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.The CEA is established in ten centers spread throughout FranceReference 2024-32483Position descriptionCategoryMathematics, information, scientific, softwareContractFixed-term contractJob titleIngénieur en Vérification de temps d’exécution pour la sécurité des systèmes basés sur la 6G – CDD F/HSocio-professional categoryExecutiveContract duration (months)18Job descriptionRejoignez le CEA pour donner du sens à vos travaux, diriger et soutenir des projets de R&D nationaux et internationaux, nourrir et attiser votre curiosité.EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ?Le CEA recherche un(e) Ingénieur en Vérification de temps d’exécution pour la sécurité des systèmes basés sur la 6G pour la CEA/DRT (Direction de la Recherche Technologique). Ce poste de cadre en CDD de 18 mois est basé sur le site de Paris-Saclay, Essonne (91).Il s’agit d’un poste à pourvoir dès que possible.POURQUOI NOUS REJOINDRE ?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.
Applicant ProfileAVEZ-VOUS ENCORE UN DOUTE ?Les marges de votre mission principale peuvent vous intéresser :COMPÉTENCES REQUISES :
En rejoignant notre équipe, vous aurez l’opportunité de contribuer à l’avenir de la vérification en temps réel, faisant ainsi une différence significative dans le monde des systèmes distribués. Si vous êtes passionné par l’innovation, la recherche et le développement de logiciels, nous vous encourageons à postuler et à faire partie de notre passionnante aventure.Conformément aux engagements pris par le CEA en faveur de l’insertion des personnes handicapées, ce métier est ouvert à tous.[1] Mahe, E., Gaston, C., Le Gall, P.: Revisiting semantics of interactions for trace validity analysis. FASE 2020. Springer.[2] Mahe, E., Bannour, B., Gaston, C., Lapitre, A., Le Gall, P.: A small-step approach to multi-trace checking against interactions. SAC 2021. ACM.Position locationSiteSaclayJob locationFrance, Ile-de-France, Essonne (91)LocationSaclayCandidate criteriaLanguagesEnglish (Fluent)Recommended trainingPhD formal methodsRequesterPosition start date01/10/2024
Essonne
Sun, 07 Jul 2024 04:16:19 GMT
To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.
Job title: Foster a love for Education Teacher of English Required - Prestigious Kensington School…
Job title: OSS Company: Randstad Job description Randstad Medical, divisione specializzata nella ricerca e selezione…
Job title: Customer Care Service - Coruña Breogan Transportes SAU Company: Dachser Job description Sus…
Job title: Two postdoc positions to advanced genome engineering technology and gene therapy Company: Aarhus…
Job title: VIE - ACTIVITY MANAGER - Brussels - December 1st - 1 year -…
Location: Basildon (SS14) - Essex, South East, United Kingdom Salary: £30000 - £35000 per annum…