Mission
L’exploration de l’espace de conception (DSE, Design Space Exploration) pour les systèmes embarqués est une tâche complexe, nécessitant des décisions logicielles (SW) telles que le placement et l’ordonnancement des tâches sur des processeurs hétérogènes, la synchronisation ou l’allocation mémoire. Ces choix doivent concilier des objectifs souvent contradictoires, comme la latence, le débit, l’efficacité énergétique et les garanties temps réel. La complexité est encore accrue dans les flux de co-conception, où les optimisations matérielles (HW) et logicielles (SW) s’influencent mutuellement.
Les outils de conception automatisée sont essentiels pour naviguer dans cette complexité. Les modèles de calcul par flux de données offrent une approche structurée, représentant les applications sous forme de graphes orientés où les nœuds (acteurs) représentent des tâches à exécuter et les arêtes transportent les données. Ces modèles permettent une modélisation à gros grains des calculs parallèles et des dépendances de données, facilitant ainsi l’ordonnancement et l’allocation des ressources.
Traditionnellement, l’allocation des ressources repose sur des estimations de coûts scalaires, comme l’énergie par tâche ou la latence par chemin de communication. Cependant, dans la réalité, ces coûts sont stochastiques, influencés par la complexité du matériel, les contentions ou les dépendances de données. Cette thèse abordera ces défis en modélisant les distributions de coûts et en les intégrant dans des cadres d’optimisation multi-objectifs.
Objectifs et Méthodologie
Cette thèse vise à développer des techniques d’optimisation multi-objectifs pour le DSE, en exploitant la sémantique des flux de données et des modèles de coûts probabilistes. Les travaux se concentreront sur un niveau d’abstraction élevé, en utilisant une granularité grossière pour la gestion des tâches et des données, telle que promue par les modèles de flux de données.
Les axes de recherche principaux incluent :
- Caractérisation et modélisation des coûts stochastiques (énergie, latence, etc.), d’abord dépendants de l’architecture, puis étendus aux choix de DSE interdépendants et aux dépendances de données. Une collaboration avec des doctorants axés sur le matériel (HW) est prévue.
- Développement d’algorithmes d’optimisation multi-objectifs pour le DSE intégrant les distributions de coûts.
- Intégration de la méthodologie dans un cadre open-source de co-DSE HW/SW basé sur MLIR.
L’approche combinera des simulations avec des déploiements expérimentaux d’applications de vision par ordinateur, d’IA et de radio-astronomie sur des plateformes embarquées haute performance (CPU/GPU/FPGA) afin de valider les stratégies proposées.
Profil
Nous recherchons un·e candidat·e motivé·e avec :
- Une formation en informatique et systèmes embarqués.
- Des compétences en programmation parallèle et optimisation de l’exécution sur du matériel hétérogène.
- Une expérience en programmation (C/C++) et une familiarité avec les architectures embarquées (CPU/GPU/FPGA).
- Une maîtrise de l’anglais à l’écrit comme à l’oral.
Constitution du dossier
Pièces à fournir :
- CV détaillé.
- Lettre de motivation
- Dernier diplôme
Contact : Karol.Desnos@insa-rennes.fr
Les candidatures devront être adressées au plus tard pour le 31 août 2026.
Les candidat·es retenu·es seront invité·e·s à un entretien courant septembre 2026.
Informations complémentaires :
- Prise de poste : dès que possible à compter du 01/10/2026
- Contrat doctoral de 3 ans
Nos recrutements sont fondés sur les compétences, sans distinction d’origine, d’âge ou de genre et tous nos postes sont ouverts aux personnes en situation de handicap.
Where to apply
Website: https://app.beetween.com/WeaselWeb/p/#/apply/job/pvpgxf96n16v3/phd-exploration-probabiliste-de-l-espace-de-conception-multi-objectifs-pour-les-systemes-embarques-via-des-modeles-de-flux-de-donnees
Requirements
- Languages: FRENCH - Level: Excellent
- Languages: ENGLISH - Level: Excellent
Work Location(s)
Number of offers available: 1
Company/Institute: INSA RENNES
Country: France
State/Province: Bretagne
City: Rennes
Postal Code: 35000
Contact
City: Rennes
Postal Code: 35700
E-Mail: elise.margat@insa-rennes.fr
