Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

il y a 3 semaines

Saclay, Île-de-France CEA Temps plein

Description du poste

Catégorie

Mathématiques, information, scientifique, logiciel

Contrat

Contrat à durée déterminée

Titre du poste

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

Catégorie socio-professionnelle

Exécutif

Durée du contrat (mois)

18

Description du poste

Rejoignez 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 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

AVEZ-VOUS ENCORE UN DOUTE ?

Les marges de votre mission principale peuvent vous intéresser :

  • Un écosystème de recherche de pointe, unique en son genre et dédié à des thématiques à forte importance sociétale, qui donne du sens à votre mission
  • Des formations pour renforcer vos compétences, en acquérir de nouvelles et booster votre mission
  • Un équilibre travail/vie personnelle reconnu par nos collaborateurs
  • La possibilité de télétravailler pour équilibrer les temps de transport et contribuer à votre qualité de vie
  • Un comité d'entreprise riche en avantages sociaux, culturels et sportifs
  • Un lieu de travail au cœur d'un plateau dynamique, entouré d'écoles et d'entreprises technologiques
  • Un restaurant d'entreprise conventionné à proximité
  • Un plan d'épargne entreprise avec abondement de l'employeur
  • Frais de transport en commun pris en charge à 75%
  • Navettes dédiées depuis Paris

COMPÉ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).

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.

Emplacement de la position

Site

Saclay

Emplacement du poste

France, Ile-de-France, Essonne (91)

Emplacement

Saclay

Critères du candidat

Langues

Anglais (Fluent)

Formation recommandée

Doctorat en méthodes formelles

Demandeur

Date de début de la position

01/10/2024

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 3 semaines

    Saclay, Île-de-France CEA Temps plein

    PositionL'Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G rejoindra l'équipe de recherche et développement du CEA/DRT. Ce poste est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Le candidat idéal possède un doctorat en informatique avec des connaissances en Vérification en Temps...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 4 semaines

    Saclay, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche et au développement de systèmes de sécurité pour la 6G.En synthèse, 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...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 1 mois

    Saclay, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche et au développement de systèmes de sécurité pour la 6G.En synthèse, 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...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 3 semaines

    Saclay, Île-de-France CEA Temps plein

    PositionTitre du posteIngénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6GDescription du posteDomaineInformatique, sécurité des systèmesContratContrat à durée déterminéeLieu de travailCEA, SaclayObjectif du posteNous recherchons un(e) ingénieur(e) en vérification de temps d'exécution pour la sécurité...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 4 semaines

    Saclay, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche et au développement de systèmes de sécurité pour la 6G.En synthèse, 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...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 3 semaines

    Saclay, Île-de-France CEA Temps plein

    PositionLe 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.Ce poste de cadre en CDD de 18 mois est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Vous aurez l'opportunité de contribuer à l'avenir de la vérification en temps réel, faisant ainsi une...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 4 semaines

    Saclay, Île-de-France CEA Temps plein

    Position DescriptionCatégorieMathématiques, information, scientifique, logicielContratContrat à durée déterminéeTitre du posteIngénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G - CDD F/HJob DescriptionRejoignez le CEA pour donner du sens à vos travaux, diriger et soutenir des projets de R&D nationaux et...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 1 mois

    Saclay, Île-de-France CEA Temps plein

    Position DescriptionCatégorieMathématiques, information, sciences, logicielsContratContrat à durée déterminéeTitre du posteIngénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G - CDD F/HJob DescriptionRejoignez le CEA pour donner du sens à vos travaux, diriger et soutenir des projets de R&D nationaux et...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 3 semaines

    Saclay, Île-de-France CEA Temps plein

    PositionL'Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G rejoindra l'équipe de recherche et développement du CEA/DRT pour travailler sur la sécurité des systèmes distribués.ResponsabilitésConcevoir et développer des techniques de vérification en temps d'exécution pour détecter les intrusions de...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 2 semaines

    Saclay, Île-de-France CEA Temps plein

    Poste de CadreLe 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.Ce poste de cadre est basé sur le site Nano-Innov de Paris-Saclay, Essonne.ObjectifsL'objectif principal de ce poste est de développer des techniques de surveillance des flux de communication au...

  • 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

    Saclay, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour développer des solutions innovantes en sécurité des systèmes 6GLe 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...

  • 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 2 semaines

    Saclay, Île-de-France CEA Temps plein

    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é...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 1 mois

    Saclay, Île-de-France CEA Temps plein

    Position DescriptionCatégorieMathématiques, information, sciences, logicielsContratContrat à durée déterminéeTitre du posteIngénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G - CDD F/HCatégorie socio-professionnelleExécutifDurée du contrat (mois)18Description du posteRejoignez le CEA pour donner du...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 1 mois

    Saclay, Île-de-France CEA Temps plein

    Position DescriptionCatégorieMathématiques, information, scientifique, logicielContratContrat à durée déterminéeTitre du posteIngénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G - CDD F/HCatégorie socio-professionnelleExécutifDurée du contrat (mois)18Description du posteRejoignez le CEA pour donner du...

  • 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

    Saclay, Île-de-France CEA Temps plein

    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...

  • Ingénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G

    il y a 2 semaines

    Saclay, Île-de-France CEA Temps plein

    Description du poste CatégorieMathématiques, information, sciences, logiciels Type de contratContrat à durée déterminée Titre du posteIngénieur en Vérification de temps d'exécution pour la sécurité des systèmes basés sur la 6G - CDD F/H Catégorie socio-professionnelleExécutif Durée du contrat (mois)18 Description du poste Rejoignez le CEA...

  • 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

    Saclay, Île-de-France CEA Temps plein

    Description de l'offreRejoignez 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...

  • Ingénieur en Vérification Formelle pour la Sécurité des Réseaux 6G

    il y a 3 semaines

    Saclay, Île-de-France CEA Temps plein

    PositionL'Ingénieur en Vérification Formelle pour la Sécurité des Réseaux 6G rejoindra l'équipe de recherche et développement du CEA/DRT. Ce poste est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Le candidat idéal possède un doctorat en informatique avec des connaissances en Vérification en Temps d'Exécution ou en Test Basé sur les...

  • Ingénieur en Sécurité des Systèmes 6G

    il y a 3 semaines

    Saclay, Île-de-France CEA Temps plein

    Ingénieur en Sécurité des Systèmes 6GLe CEA recherche un(e) Ingénieur en Sécurité des Systèmes 6G pour la CEA/DRT. Ce poste de cadre en CDD de 18 mois est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Les futurs réseaux 6G permettront la transmission de données à haute vitesse avec une latence très faible. De nouvelles applications...

  • Ingénieur en Sécurité des Systèmes Distribués pour la 6G

    il y a 3 semaines

    Saclay, Île-de-France CEA Temps plein

    PositionL'Ingénieur en Sécurité des Systèmes Distribués pour la 6G rejoindra l'équipe de recherche et développement du CEA/DRT. Ce poste est basé sur le site Nano-Innov de Paris-Saclay, Essonne (91).Le candidat idéal possède un doctorat en informatique avec des connaissances en Vérification en Temps d'Exécution ou en Test Basé sur les Modèles....