garantir leur fiabilité. L’équipe MoVe recrute un PR en modélisation et vérification comportementale de systèmes logiciels en lien avec des problématiques de concurrence, répartition, temporisation, cyber-sécurité ou IA vérifiable. La personne recrutée aura dans l’idéal des compétences liées à la conception d’algorithmes de vérification et à leur mise en œuvre pratique au sein de solutions opérationnelles (outils ou prototypes). Un profil orienté vérification est prioritaire sur un profil orienté modélisation.
Avec l’essor du big data, de l’intelligence artificielle et des applications embarquées, l’optimisation des architectures multi-cœurs permet d’améliorer la rapidité des traitements tout en réduisant la consommation énergétique. L’équipe ALSOC souhaite recruter un professeur spécialisé dans la conception et l’utilisation des architectures multi-cœurs. Les activités de recherche de la personne recrutée seront idéalement centrées sur la conception d’architectures, si possible en interaction avec les autres thématiques de l’équipe : sûreté et sécurité des systèmes embarqués, optimisation des applications sur architectures homogènes ou hétérogènes, notamment.
Le candidat ou la candidate devra rédiger dans son curriculum vitæ un projet de recherche s’intégrant au sein de l’équipe souhaitée, ainsi qu’un projet d’enseignement en adéquation avec le profil du poste.
La fiche de poste complète avec le profil d’enseignement associé sera publiée dès que possible.
Contact : Fabrice Kordon