Doctorant Mémoires Cache Prédictibles pour les Systèmes Temps-Réel Embarqués Multicoeurs H/F - INRIA
Les missions du poste
A propos d'Inria
Inria, l'institut national de recherche dans les sciences et technologies du numérique, est en appui de l'État pour les stratégies nationales de recherche et d'innovation du numérique en tant qu'Agence de programmes. Inria mène plus de 300 projets de recherche et d'innovation avec ses 3500 scientifiques, ingénieurs et personnels d'appui, en partenariat avec les universités et l'écosystème numérique (entreprises, entrepreneurs, acteurs publics). Ensemble, nous explorons des domaines clés comme l'intelligence artificielle, la cybersécurité, l'informatique quantique, le Cloud, la transformation numérique de la santé, les jumeaux numériques ou encore les technologies numériques pour la défense. Nous construisons des solutions concrètes telles que des logiciels, des startups technologiques, des partenariats avec les entreprises du tissu national et des formations de pointe. Notre objectif : l'impact scientifique, technologique et industriel au service de la souveraineté numérique de la France.
Doctorant F/H Mémoires cache prédictibles pour les systèmes temps-réel embarqués multicoeurs
Type de contrat : CDD
Niveau de diplôme exigé : Bac +5 ou équivalent
Fonction : Doctorant
Niveau d'expérience souhaité : Jeune diplômé
A propos du centre ou de la direction fonctionnelle
Créé en 2008, le centre Inria de l'Université de Lille emploie 360 personnes, dont 305 chercheurs répartis dans 16 équipes de recherche. Reconnu pour son engagement fort en faveur du développement socio-économique de la région Hauts-de-France, le centre Inria de l'Université de Lille entretient des relations étroites avec les grandes entreprises et les PME. En favorisant les synergies entre les chercheurs et l'industrie, Inria contribue au transfert de compétences et d'expertise dans le domaine des technologies numériques, et donne accès au meilleur de la recherche européenne et internationale au service de l'innovation et des entreprises, notamment dans la région.
Depuis plus de 10 ans, le centre Inria de l'Université de Lille est au coeur de l'écosystème universitaire et scientifique lillois, ainsi qu'au coeur de la Frenchtech, avec un showroom technologique situé avenue de Bretagne à Lille, sur le site d'excellence économique EuraTechnologies dédié aux technologies de l'information et de la communication (TIC).
Contexte et atouts du poste
Le doctorant travaillera dans le cadredu projet ANR PRCI CoCoDaLi, avec Inria Rennes et laRPTU ().
L'objectif général du projet CoCoDaLi est de concevoir et de mettre en oeuvre des techniques hors ligne et d'exécution qui permettent un contrôle précis des contenus de cache dans les architectures multicoeurs 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 :
- empêcher l'algorithme de remplacement du matériel de supprimer les blocs de cache utiles ;
- 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 :
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 oeuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale
Rémunération
2300€ bruts mensuels
Compétences requises
- Anglais