Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G F/H
Il y a 6 mois
Description 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 en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G F/H pour la CEA/DRT (Direction de la Recherche Technologique). Ce poste de cadre en CDD de 18 mois est basé sur le site Nano-Innov 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.
Profil du candidat
VOUS AVEZ ENCORE UN DOUTE ?
Les à-côtés de votre mission principale peuvent nous intéresser :
Un écosystème de recherche à la pointe , unique en son genre et dédié à des thématiques à fort enjeu sociétal , qui donne du sens à votre mission Des formations pour renforcer vos compétences, en acquérir de nouvelles et booster votre mission Un équilibre vie privée / vie professionnelle reconnu par nos collaborateurs La possibilité de télétravailler pour équilibrer les temps de transport et contribuer à votre qualité de vie Un CE riche en avantages et en activités sociales, culturelles et sportives Un lieu de travail au cœur d’un plateau dynamique , entouré d’écoles et d’entreprises de la techCOMPÉTENCES REQUISES :
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).-
Saclay, France CEA Temps pleinPosition description Category Mathematics, information, scientific, software Contract Fixed-term contract Job title 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 Socio-professional category Executive Contract duration (months) 18 Job description ...
-
Saclay, France CEA Temps pleinPosition description Category Mathematics, information, scientific, software Contract Fixed-term contract Job title 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 Socio-professional category Executive Contract duration (months) 18 Job description ...
-
Saclay, Île-de-France CEA Temps pleinDescription de l'offreLe CEA recherche un Ingénieur en Vérification en Temps d'Exécution pour la Sécurité des Systèmes 6G pour la Direction de la Recherche Technologique. Ce poste est basé sur le site Nano-Innov de Paris-Saclay et consiste à développer des techniques de surveillance des flux de communication pour détecter les intrusions de...
-
Ingénieur en Sécurité des Systèmes Répartis
il y a 4 semaines
Saclay, Île-de-France CEA Temps pleinDescription de l'offreLe CEA recherche un(e) ingénieur(e) pour développer 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.Les futurs réseaux 6G permettront la transmission de données à haute vitesse avec une latence très...
-
Officier de Sécurité Des Systèmes D'information
Il y a 6 mois
Saclay, France TechnicAtome Temps pleinDescription de l'entreprise Référence : TA-PR-3386 Vous avez le souhait de travailler au sein d’un collectif, dans une entreprise française à taille humaine, à la pointe des technologies ? Portée par plus de 1900 collaborateurs répartis sur 8 sites implantés dans tout l’hexagone, TechnicAtome conçoit les réacteurs nucléaires compacts des...
-
Chef D’équipe Robinetterie
il y a 3 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: Intégrer Eiffage Énergie Systèmes Clemessy Services, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la métallurgie,...
-
Technicien métier Système de sécurité incendie
il y a 3 semaines
Saclay, Île-de-France SSI SERVICE Temps pleinPoste : Technicien métier Système de sécurité incendieCompétences et responsabilitésMise en service des systèmes de sécurité incendie chez nos clients.Fournir un service client adapté et prendre en charge les besoins des utilisateurs.Rédiger des rapports d'interventions détaillés et précis dans le logiciel dédié.Caractéristiques du...
-
Monteur (H/F)
il y a 2 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: Intégrer Eiffage Énergie Systèmes Clemessy Services, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la métallurgie,...
-
Préparateur Sous-traitance Et Approvisionnement
il y a 3 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: Intégrer Eiffage Énergie Systèmes Clemessy Services, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la métallurgie,...
-
Ingénieur Sécurité Projet H/F
il y a 4 semaines
Saclay, Île-de-France CEA Temps pleinOffre de posteLe projet TITAN est un projet stratégique au sein du Centre d'Énergie Atomique (CEA) visant à créer une plateforme industrielle d'imagerie à partir d'une production de neutrons thermiques de nouvelle génération. Fonctions et responsabilitésRédaction de dossiers de sécurité, de procédures et de consignes...
-
Tuyauteur Industriel
il y a 2 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: Intégrer Eiffage Énergie Systèmes Clemessy Services, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la métallurgie,...
-
Ingénieur(e) en instrumentation et système embarqué H/F
il y a 1 mois
Saclay, Île-de-France CEA Temps pleinDescription de l'offre Le Laboratoire Architectures Electroniques, Modélisation et Analyse de données (LEMA) est à la recherche d'un ingénieur(e) de recherche en instrumentation et système embarqué pour développer des outils de détection de rayonnements ionisants dans le cadre d'un projet pour l'instrumentation nucléaire. Missions et...
-
Contremaitre Mécanique Hydraulique
il y a 3 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: **Intégrer Eiffage Énergie Systèmes Clemessy Services**, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la...
-
Contremaitre électricité
il y a 3 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: **Intégrer Eiffage Énergie Systèmes Clemessy Services**, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la...
-
Chef D’équipe Machines Tournantes
il y a 3 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: **Intégrer Eiffage Énergie Systèmes Clemessy Services**, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la...
-
Chef D’équipe Groupes Hydrauliques
il y a 3 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: **Intégrer Eiffage Énergie Systèmes Clemessy Services**, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la...
-
Planificateur (F/H)
il y a 3 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: Intégrer Eiffage Énergie Systèmes Clemessy Services, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la métallurgie,...
-
Planificateur (F/H)
il y a 3 semaines
Saclay, France Eiffage Énergie Systèmes Temps plein**Vos missions**: Intégrer Eiffage Énergie Systèmes Clemessy Services, c’est rejoindre une entreprise dynamique qui encourage l’initiative, valorise le potentiel créatif, développe les compétences de chacun et s’engage au quotidien en matière de responsabilité sociétale et environnementale. Spécialiste de la mécanique et de la métallurgie,...
-
Ingénieur Chercheur en Systèmes Embarqués
il y a 4 semaines
Saclay, Île-de-France CEA Temps pleinFonctions du poste Le Laboratoire Système et Photonique pour le Monitoring (LSPM) recherche un(e) ingénieur(e) chercheur(se) en intelligence artificielle pour le contrôle santé des structures - Structural Health Monitoring (SHM). Les missions principales sont : Développer et déployer les algorithmes pour le contrôle santé des structures. ...
-
Ingénieur Mécanique de Systèmes de Perception Avancés
il y a 4 semaines
Saclay, Île-de-France Exail Temps pleinMissionSous l'égide de l'ingénieur mécanique référent, vous serez chargé de concevoir et développer un nouveau module de vision pour les robots de la gamme IGUANA.Le module doit permettre d'augmenter la qualité d'image et la facilité d'utilisation, tout en tenant compte des contraintes vibratoires et de la miniaturisation.Vous...
