Offre

L’unité « Commande, Vérification Numérique, Implantation » a pour mission de relever les défis induits par l’omniprésence des aspects numériques dans la modélisation, l’analyse et l’optimisation des systèmes dynamiques ainsi que dans la mise en oeuvre concrète d’algorithmes de contrôle/commande avancés qui peut se résumer comme « du système complexe à l’implantation : une approche sûre et maîtrisée ». Les travaux de l’unité sont réalisés dans le cadre de projets internes ou de projets de recherche collaboratifs.Dans cette unité, vous participerez aux activités de recherche sur les architectures à base de processeurs multi- et pluri-coeurs (de quelques coeurs reliés par un bus partagé à plusieurs dizaines voire centaines de coeurs connectés par un réseau sur puce), et en particulier de processeurs hybrides comportant à la fois des multi-coeurs hétérogènes (coeurs de différents types) et des accélérateurs de calcul (ex : co-processeur graphique de type GPU, circuit logique programmable FPGA, unité de type TPU dédiée au machine learning). Ces processeurs occupent une place de plus en plus importante dans les systèmes embarqués pour permettre l’intégration de fonctions avancées. Un des défis de ces architectures est leur certification, et plus largement la maîtrise de leur fonctionnement dans un domaine soumis à des exigences de sûreté de fonctionnement. Vous travaillerez sur des méthodes et des moyens pour apporter ce niveau sûreté. Dans la mesure de vos compétences, vos missions et activités sont les suivantes : La spécification de processeurs (ou de composants de processeurs) sûr par conception (en s’appuyant sur la communauté Open Hardware) ; La définition et la mise en oeuvre de code de bas niveau (programmation en « baremetal ») ; Des méthodes d’analyse et d’évaluation d’architectures via des « stressing benchmarks » ; Des modélisations en vue de vérification formelle. Ces thématiques vous conduiront à travailler avec des acteurs étatiques et industriels de l’aéronautique civile mais aussi du secteur défense. Vous serez amené à développer de nouveaux thèmes de travaux au travers de propositions de projets de recherche internes, de réponses à des appels d’offres institutionnels ou de propositions de sujets de thèse et de stage.