L’INSA Rennes est la plus importante école publique d’ingénieurs de Bretagne. 2040 étudiants et apprentis y sont accueillis. Plus de 340 ingénieurs, 60 étudiants de masters et 40 docteurs y sont diplômés par an. Composé de 9 départements d’enseignement, 8 spécialités d’ingénieurs dont 2 par apprentissage, et tutelle de 7 laboratoires de recherche, l’INSA emploie environ 540 agents publics (enseignants chercheurs, enseignants, BIATSS) et plus de 70 vacataires venant des entreprises.
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.
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.
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.
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.