Complétez votre profil pour recevoir des offres adaptées.

Mon espace

Mes CV vus

Mes candidatures

Mes alertes

Mon profil

Paramètres

Déconnexion

Missions d'intérim
Offres de stage
Offres en alternance
Créer mon alerte
Déposer mon CV
Salaire brut net

Téléchargez l'app et postulez dans les premiers !

Diffuser ma première offre Déjà client

Téléchargez l'app et postulez dans les premiers !

Se connecter S'inscrire Formation

Téléchargez l'app et postulez dans les premiers !

Trouver mon job s
Trouver mon entreprise s
Accès recruteur
- Diffuser ma première offre
- Déjà client
Télécharger l’app

Emploi
- Missions d'intérim
- Offres de stage
- Offres en alternance
- Créer mon alerte
- Déposer mon CV
- Salaire brut net
Formation
Emploi
Emploi
Mon compte
- Se connecter Mon compte
- S'inscrire
- Mon espace
- Mes CV vus
- Mes candidatures
- Mes alertes
- Mon profil
- Paramètres
- Déconnexion

Caractérisation de Covert Channels dans un Processeur Out Of Order Risc H/F CEA

Grenoble - 38
Stage
5 mois
Industrie high-tech • Telecom

Lire dans l'app

Les missions du poste

Rejoignez-nous en stage !
En tant que stagiaire au CEA-LETI (Institut de recherche technologique de CEA Tech), vous aurez l'opportunité de travailler au sein d'un environnement de recherche de renommée mondiale. Nos équipes sont composées d'experts passionnés et dédiés, offrant un cadre propice à l'apprentissage et à la collaboration. Vous aurez accès à des équipements de pointe et à des ressources de recherche de premier ordre pour mener à bien vos missions.

NOUS REJOINDRE, POUR FAIRE QUOI ?
Pour contribuer au transfert industriel d'innovations pour des applications dans le domaine de l'industrie, de l'aéronautique, de la bio production, du sport ou encore de l'agriculture et de la préservation des ressources, en réalisant des cartes électroniques et de la programmation pour des systèmes embarqués.

Vos missions :
Dans le laboratoire LSCO du LETI/DSYS nous nous intéressons à la sécurité des processeurs et en particulier nous cherchons à les protéger contre des attaques dites "transitoires" plus connues sous le nom d'attaques Spectre. Elles utilisent des canaux cachés dans les microarchitectures des CPUs pour exfiltrer des données secrètes entre deux processus ou entre deux modes de privilèges. Nous avons modélisé ces "covert channels" avec une approche probabiliste basée sur des chaînes de Markov cachées. Nous aimerions dans le cadre de ce stage, évaluer une méthode permettant l'estimation empirique des probabilités conditionnelles de ce modèle de chaîne de Markov. On pourra se baser sur la génération dirigée de suites d'instructions qui pourront ensuite être simulé dans un processeur d'applications out of order RISC-V. Les valeurs des signaux internes pourront alors être traitées pour dériver les matrices de transition de notre modèle. Au final, nous pourrions obtenir une cartographie des microarchitecture pouvant fuir des données.

QU'ATTENDONS-NOUS DE VOUS ?

Des connaissances solides :
En machine learning, deep leraning et IA
En architecture des processeurs
En programmation (C/C++ et python)

Des expériences :
En conception numérique et sécurité
Ouverture d'esprit et bonne autonomie.
Intérêt pour le fonctionnement en projets

Pourquoi venir au LETI - DSYS ?
Un poste au coeur de la métropole grenobloise, facilement accessible via la mobilité douce favorisée par le CEA,
Un environnement unique de recherché dédié à des thématiques à fort enjeu sociétal, comme la préservation des ressources (économie de la fonctionnalité, monitoring et optimisation de la consommation en eau...) ou l'efficacité énergétique (maintenance prévisionnelle, optimisation des process)
Une expérience sur une thématique à la pointe de l'innovation, comportant un fort potentiel de développement industriel, par exemple dans le domaine de l'aéronautique ou de la bioproduction.
Des formations pour renforcer vos compétences ou en acquérir de nouvelles, en électronique embarquée, en mécatronique, ou en simulation de systèmes multiphysiques multi-échelles.
Un équilibre vie privé - Stage