A propos de l'entreprise :

L'ONERA, acteur central de la recherche aéronautique etspatiale, emploie plus de 2000 personnes. Placé sous la tutelle duministère des Armées, il dispose d'un budget de 289 millionsd'euros (2023), dont plus de la moitié provient de contratsd'études, de recherche et d'essais. Expert étatique, l'ONERAprépare la défense de demain, répond aux enjeux aéronautiques etspatiaux du futur, et contribue à la compétitivité de l'industrieaérospatiale. Il maîtrise toutes les disciplines et technologies dudomaine. Tous les grands programmes aérospatiaux civils etmilitaires en France et en Europe portent une part de l'ADN del'ONERA : Ariane, Airbus, Falcon, Rafale, missiles, hélicoptères,moteurs, radars... Reconnus à l'international et souvent primés,ses chercheurs forment de nombreux doctorants.

A propos du poste :

L'unité « Commande, Vérification Numérique, Implantation » apour mission de relever les défis induits par l'omniprésence desaspects numériques dans la modélisation, l'analyse etl'optimisation des systèmes dynamiques ainsi que dans la mise enoeuvre concrète d'algorithmes de contrôle/commande avancés qui peutse résumer comme « du système complexe à l'implantation : uneapproche sûre et maîtrisée ». Les travaux de l'unité sont réalisésdans le cadre de projets internes ou de projets de recherchecollaboratifs.Dans cette unité, vous participerez aux activités derecherche sur les architectures à base de processeurs multi- etpluri-coeurs (de quelques coeurs reliés par un bus partagé àplusieurs dizaines voire centaines de coeurs connectés par unréseau sur puce), et en particulier de processeurs hybridescomportant à la fois des multi-coeurs hétérogènes (coeurs dedifférents types) et des accélérateurs de calcul (ex :co-processeur graphique de type GPU, circuit logique programmableFPGA, unité de type TPU dédiée au machine learning). Cesprocesseurs occupent une place de plus en plus importante dans lessystèmes embarqués pour permettre l'intégration de fonctionsavancées. Un des défis de ces architectures est leur certification,et plus largement la maîtrise de leur fonctionnement dans undomaine soumis à des exigences de sûreté de fonctionnement. Voustravaillerez sur des méthodes et des moyens pour apporter ce niveausûreté. Dans la mesure de vos compétences, vos missions etactivités sont les suivantes : La spécification de processeurs (oude composants de processeurs) sûr par conception (en s'appuyant surla communauté Open Hardware) ; La définition et la mise en oeuvrede code de bas niveau (programmation en « baremetal ») ; Desméthodes d'analyse et d'évaluation d'architectures via des «stressing benchmarks » ; Des modélisations en vue de vérificationformelle. Ces thématiques vous conduiront à travailler avec desacteurs étatiques et industriels de l'aéronautique civile maisaussi du secteur défense. Vous serez amené à développer de nouveauxthèmes de travaux au travers de propositions de projets derecherche internes, de réponses à des appels d'offresinstitutionnels ou de propositions de sujets de thèse et destage.

Profil recherché :

Vous êtes docteur en informatique. Vous avez un intérêt pour les méthodes formelles et/ou leDeep Learning.Une bonne capacité de valorisation au travers de publicationsscientifiques serait un plus.Vous maîtrisez au moins un des domaines suivants :- Spécification et modélisation de processeurs (en VHDL ouRTL par exemple) ;- Programmation bas niveau de processeurs multi- etpluri-coeurs, combinant coeur « general purpose » et accélérateursde calcul (ex : co-processeur graphique de type GPU, circuitlogique programmable FPGA, unité de type TPU dédiée au machinelearning) ;- Modélisation et analyse formelle des comportementstemporels internes aux architectures matérielles à base deprocesseurs multi- et pluri-coeurs, y compris des multi-coeurshétérogènes hybrides et des accélérateurs de calcul.