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 3 semaines
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).-
Ta-pr-3386 / - Officier de Sécurité Des Systèmes
il y a 1 mois
Saclay, France TechnicAtome Temps pleinDescription de l'entreprise 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 près de 1800 collaborateurs répartis sur 8 sites implantés dans tout l’hexagone, TechnicAtome conçoit les réacteurs nucléaires compacts des sous-marins et porte-avions...
-
Ingénieur sécurité
il y a 3 semaines
Saclay, Île-de-France Cea Temps pleinEn tant qu'Ingénieur Sécurité - Suivi de travaux, vous assistez le Chef de chantier dans la coordination et la supervision de l'ensemble des activités du chantier dans le domaine de la sécurité.A ce titre, vous aurez les missions suivantes :Décliner le Référentiel Sécurité de la DIMP pour les Projets et appliquer les outils communs de Prévention...
-
Ingénieur Système et Réseau H/F
il y a 1 mois
Saclay, Île-de-France INFODIS Temps pleinEn tant qu'Ingénieur Système et Réseau, vos missions seront : Assurer les interventions de niveau 2 et 3Travailler en équipe au sein de la direction informatique, à ce titre mettre en place les éléments de partage, de transfert de l'information au sein de la direction et assurer la formation de ses collègues au besoinInstaller, supporter et/ou...
-
Administrateur Système
il y a 3 semaines
Saclay, FR Orange Business Temps pleinL’ambition d’Orange Business est de devenir l’intégrateur réseaux et numérique de référence en Europe, en nous appuyant sur nos forces autour des solutions de connectivité nouvelle génération, du cloud et de la cybersécurité.Nos 30 000 femmes et hommes présents dans 65 pays, dont chaque voix compte, sont tous animés par la même...
-
Administrateur Système
il y a 3 semaines
Saclay, France Orange Business Temps pleinL’ambition d’Orange Business est de devenir l’intégrateur réseaux et numérique de référence en Europe, en nous appuyant sur nos forces autour des solutions de connectivité nouvelle génération, du cloud et de la cybersécurité.Nos 30 000 femmes et hommes présents dans 65 pays, dont chaque voix compte, sont tous animés par la même...
-
Ingénieur Sécurité d'Installation
il y a 3 semaines
Saclay, France Cea Temps pleinLe périmètre d’installations confiées au DSST sur Saclay comporte 9 installations. Chaque installation dispose d’un soutien sécurité réparti au sein de la CAQS sur une équipe de 3 ingénieurs sécurité d’installation.Suite à la mutation de l’un des ingénieurs sécurité de la CAQS, et pour assurer le soutien sécurité nécessaire aux...
-
Ingénieur Systèmes Fluides
il y a 1 mois
Saclay, France TechnicAtome Temps pleinDescription de l'entreprise Référence : TA-PR-4077 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 près de 1900 collaborateurs répartis sur 8 sites implantés dans tout l’hexagone, TechnicAtome conçoit les réacteurs nucléaires compacts...
-
Agent(E) de Securite
il y a 1 mois
Saclay, France Fiducial Sécurité Temps pleinAvec près de 10 000 agents, 40 agences réparties sur le territoire national, un chiffre d'affaires de plus de 350 M€, FIDUCIAL SECURITE est un des tous premiers acteurs français de la Sécurité Privée. Nous recherchons pour un de nos clients (site industriel sensible) situé à SACLAY (91), un AGENT DE SECURITE H/F. Au sein de ce poste, vous serez...
-
Ingénieur Sécurité d'installation SESD
il y a 3 semaines
Saclay, Île-de-France Cea Temps pleinSous l'autorité du Chef de la SESD et dans le cadre de la règlementation en vigueur, l'ingénieur Sécurité d'Installation assure les missions suivantes :Mettre à jour les documents réglementaires de l'installation , notamment le registre de sécurité,Réaliser les analyses de risques (Radiologique, chimique, électrique, laser, amiante ...) au...
-
Ingénieur(e) en instrumentation et système embarqué
il y a 2 semaines
Saclay, Île-de-France Cea Temps pleinLe Laboratoire Architectures Electroniques, Modélisation et Analyse de données (LEMA) recherche un(e) ingénieur(e) de recherche en instrumentation et système embarqué.Vous serez amené(e) à développer des outils de détection de rayonnements ionisants dans le cadre d'un projet pour l'instrumentation nucléaire.A partir des concepts d'emplois définis...
-
Ingénieur Sécurité d'installation SESD H/F
il y a 1 mois
Saclay, France CEA Temps pleinDescription de l'offre Sous l’autorité du Chef de la SESD et dans le cadre de la règlementation en vigueur, l’ingénieur Sécurité d’Installation assure les missions suivantes : • Mettre à jour les documents réglementaires de l'installation , notamment le registre de sécurité, • Réaliser les analyses de risques (Radiologique,...
-
Ingénieur-e R&T Architecture systèmes d'Energie F/H
il y a 10 heures
Saclay, France Safran Temps pleinSafran est un groupe international de haute technologie opérant dans les domaines de l'aéronautique (propulsion, équipements et intérieurs), de l'espace et de la défense. Sa mission : contribuer durablement à un monde plus sûr, où le transport aérien devient toujours plus respectueux de l'environnement, plus confortable et plus accessible. Implanté...
-
Ingénieur sécurité
il y a 3 semaines
Saclay, France Cea Temps pleinEn tant qu'Ingénieur Sécurité - Suivi de travaux, vous assistez le Chef de chantier dans la coordination et la supervision de l'ensemble des activités du chantier dans le domaine de la sécurité.A ce titre, vous aurez les missions suivantes :Décliner le Référentiel Sécurité de la DIMP pour les Projets et appliquer les outils communs de Prévention...
-
Ingénieur(e) en instrumentation et système embarqué
il y a 2 semaines
Saclay, France Cea Temps pleinLe Laboratoire Architectures Electroniques, Modélisation et Analyse de données (LEMA) recherche un(e) ingénieur(e) de recherche en instrumentation et système embarqué.Vous serez amené(e) à développer des outils de détection de rayonnements ionisants dans le cadre d'un projet pour l'instrumentation nucléaire.A partir des concepts d’emplois...
-
Ingénieur Sécurité d'installation SESD
il y a 3 semaines
Saclay, France Cea Temps pleinSous l’autorité du Chef de la SESD et dans le cadre de la règlementation en vigueur, l’ingénieur Sécurité d’Installation assure les missions suivantes :Mettre à jour les documents réglementaires de l'installation , notamment le registre de sécurité,Réaliser les analyses de risques (Radiologique, chimique, électrique, laser, amiante...
-
Ingénieur(e) en instrumentation et système embarqué H/F
il y a 4 semaines
Saclay, France CEA Temps pleinDescription de l'offre Le Laboratoire Architectures Electroniques, Modélisation et Analyse de données (LEMA) recherche un(e) ingénieur(e) de recherche en instrumentation et système embarqué. Vous serez amené(e) à développer des outils de détection de rayonnements ionisants dans le cadre d'un projet pour l'instrumentation nucléaire. A...
-
Ingénieur chargé d'affaires
il y a 4 semaines
Saclay, 91400, France MODISTECH Temps pleinVotre mission Akkodis Talent est une marque du Groupe Adecco spécialisée dans le recrutement (Intérim – CDD – CDI) de profils techniques : IT, Ingénierie, et Life Science. Nous recrutons en intérim de 9 mois pour notre client, acteur majeur de la recherche, du développement et de l'innovation, un ingénieur chargé d'affaires...
-
Ingénieur Sécurité Projet H/F
il y a 4 semaines
Saclay, France CEA Temps pleinDescription de l'offre Le projet TITAN consiste à créer au sein du DACM une plateforme industrielle d’imagerie à partir d’une production de neutrons thermiques de nouvelle génération. Vous interviendrez au sein de l’équipe projet TITAN en soutien à l’équipe sécurité du projet, afin de concrétiser les actions de prévention qui...
-
Saclay, France CEA Temps pleinPosition description Category Mathematics, information, scientific, software Contract Fixed-term contract Job title Designer of supervision architectures dedicated to distributed systems - CDD - Paris-Saclay W/M Socio-professional category Executive Contract duration (months) 36 Job description Join CEA to Add...
-
Administrateur Système Stockage et Sauvegarde
il y a 3 semaines
Saclay, FR Orange Business Temps pleinL’ambition d’Orange Business est de devenir l’intégrateur réseaux et numérique de référence en Europe, en nous appuyant sur nos forces autour des solutions de connectivité nouvelle génération, du cloud et de la cybersécurité.Nos 30 000 femmes et hommes présents dans 65 pays, dont chaque voix compte, sont tous animés par la même...
