Doctorant F/H

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, Recherche et développement d’algorithmes et de codes pour optimiser le placement de la mémoire.

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

• 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, Sécurité défense : Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.

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.