La personne recrutée mènera ses recherches au LAAS-CNRS, au sein de l’équipe TRUST (Trustworthy Systems: Foundations and Practices) du département RISC (Réseaux, Informatique, Systèmes de Confiance). L’équipe TRUST souhaite renforcer ses activités liées aux systèmes embarqués critiques, omniprésents dans de nombreux secteurs industriels (aéronautique, automobile, ferroviaire, etc.). Ces systèmes opèrent dans des environnements contraints en ressources et en temps, et doivent répondre à des exigences de sûreté très élevées.
Si des méthodes éprouvées existent pour la conception et l’analyse de tels systèmes, la complexité croissante des logiciels et des matériels (logiciels intégrant des fonctions de décision basées sur de l’IA, cohabitation de fonctions de criticité mixte, architecture distribuée de calculateurs, utilisation de processeurs multi- et many-core sur étagère) ainsi que la vulnérabilité accrue des technologies matérielles aux fautes physiques (par exemple, la réduction de la finesse de gravure augmentant la sensibilité au rayonnement cosmique et le risque de propagation d’erreur au niveau logiciel) maintiennent les enjeux de sûreté au premier plan. Ces évolutions rendent indispensable le développement de nouvelles approches.
Tous les profils spécialisés dans la sûreté des systèmes embarqués seront considérés, avec une attention particulière pour les travaux s’inscrivant dans l’un des trois axes de recherche suivants :

• Tolérance aux fautes logicielles et matérielles –architecture multi-niveau pour la détection et le recouvrement d’erreur, capacités de reconfiguration et d’adaptation en ligne, évaluation des mécanismes proposés.
• Temps réel –analyse de pire temps d’exécution (WCET), analyse d’ordonnançabilité, politiques adaptées aux processeurs sur étagère (COTS), optimisation pour des cibles RISC-V et FPGA, conception de supports d’exécution temps réel, tolérance aux fautes temporelles, frugalité.
• Génie logiciel pour l’embarqué – méthodes d’analyse ou de production de logiciel en lien avec les problématiques précédentes (par exemple, optimisation de code, analyse statique de WCET, langages et frameworks spécialisés, reconfiguration logicielle, tests de robustesse ou de performance…).

Comité de sélection

Membres externes

• CUCU-GROSJEAN Liliana (INRIA Paris)
• DE ALBUQUERQUE SILVA Iryna (CEA LIST / DSCIN)
• FAUCOU Sébastien (Nantes Université / LS2N)
• GROLLEAU Emmanuel (ISAE-ENSMA / LIAS)
• PAUTET Laurent (Télécom Paris / LTCI)
• POTOP-BUTUCAR Dumitru (INRIA Paris)

Membres internes

• ERMONT Jérôme (N7, IRIT)
• KADER Zohra (N7, LAPLACE)
• NGUEVEU Sandra (N7, LAAS) Pdte
• RAVEU Nathalie (N7, LAPLACE)
• REGNIER Jérémi (N7, LAPLACE)
• WASELYNCK Hélène (LAAS)

Dates de réunions du comité

• 1ère réunion (sélection des dossiers) : 16 ou 17/04/2026
• 2ère réunion (auditions) : 21/05/2026