Doctorant F/H Mémoires cache prédictibles pour les systèmes temps-réel embarqués multicœurs

Télécharger l'offre au format PDF

Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Doctorant

Niveau d'expérience souhaité : Jeune diplômé

Contexte et atouts du poste

Le doctorant travaillera dans le cadre du projet ANR PRCI CoCoDaLi, avec Inria Rennes et la RPTU (https://rptu.de/).

L’objectif général du projet CoCoDaLi est de concevoir et de mettre en œuvre des techniques hors ligne et d’exécution qui permettent un contrôle précis des contenus de cache dans les architectures multicœurs pour les systèmes temps réel embarqués.

L’idée principale est de tirer parti de la durée de vie du contenu des blocs de cache, afin de : 

  1. empêcher l’algorithme de remplacement du matériel de supprimer les blocs de cache utiles ;
  2. réduire le nombre d’erreurs de cache en plaçant la mémoire de l’application dans les lignes de cache appropriées.

Le doctorant pourra passer des séjours de recherche à Kaiserslautern et à Rennes pour collaborer avec les partenaires du projet. 

Mission confiée

Missions : 1) Étudier l'état de l'art des algorithmes de placement des mémoire cache ; 2) développer des algorithmes pour analyser le code machine d'un programme et obtenir l'emplacement des données en mémoire ; 3) développer un algorithme de placement en mémoire.

Pour une meilleure connaissance du sujet de recherche proposé :
Des références scientifiques sur les travaux de l'équipe sont disponibles aux URLs suivantes : 

https://www.fil.univ-lille.fr/~lipari/research/phd-call.html 

www.cristal.univ-lille.fr/equipes/sycomores

 

 

Principales activités

Recherche et développement d’algorithmes et de codes pour optimiser le placement de la mémoire.

Compétences

Compétences techniques  : 

  • We require a very good extertise in C/C++ language, compiler and linker
  • Optional expertise : 
    • Real-Time scheduling, and scheduling analysis
    • Multicore systems,
    • worst-case execution time analysis.

Langues : Anglais B2

 

Avantages

  • Restauration subventionnée
  • Transports publics remboursés partiellement
  • Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
  • Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
  • Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
  • Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
  • Accès à la formation professionnelle
  • Sécurité sociale

Rémunération

2300€ bruts mensuels