Enseignante-Chercheuse ou Enseignant-Chercheur en Méthodes Formelles dans le Domaine du Matériel et des Logiciels - CDI H/F - 95

Télécom Paris, centre international pluridisciplinaire de formation, recherche et innovation, est une référence dans le monde du numérique.Nous recherchons une enseignante-chercheuse ou un enseignant-chercheur en méthodes formelles dans le domaine du matériel et des logiciels. Vous rejoindrez l'équipe ACES (Autonomous, Critical, Embedded Systems) au sein du département INFRES.

Contexte scientifique :

Les activités de l'équipe ACES sont liées à la confiance numérique, c'est-à-dire à la cybersécurité, aux systèmes embarqués critiques en temps réel, à l'ingénierie logicielle et système, aux systèmes distribués, ainsi qu'aux systèmes autonomes. Ce nouveau poste vise à renforcer l'expertise de l'équipe dans les systèmes matériels/logiciels, où l'interaction entre les éléments matériels et le code logiciel est essentielle pour garantir le bon fonctionnement d'un système plus vaste. Nous illustrons l'intérêt de l'équipe ACES pour ce sujet à travers trois applications qui ne sont pas exhaustives. Ces systèmes jouent un rôle dans les travaux récents de l'équipe sur la cybersécurité, où les membres de l'ACES ont étudié les canaux auxiliaires et les fuites d'informations au niveau du matériel, du système d'exploitation et du compilateur. D'autres membres de l'équipe ont étudié ces systèmes matériels/logiciels afin d'améliorer la prévisibilité et l'analysabilité des systèmes critiques en temps réel, que l'on trouve dans l'avionique, les trains, les voitures et de nombreuses autres applications. D'autres membres de l'équipe ont étudié l'interaction entre le matériel et les logiciels dans les systèmes à consommation d'énergie limitée, tels que les tablettes utilisées dans les missions de sauvetage ou les infrastructures IoT, où la consommation d'énergie doit être réduite au minimum.

De manière plus générale, comme l'illustrent les activités passées de l'équipe, les systèmes étudiés, outre leurs propriétés fonctionnelles qui garantissent que le système effectue les bons calculs, doivent souvent également tenir compte de propriétés non fonctionnelles. Le poste vacant vise ce domaine problématique, en mettant particulièrement l'accent sur les méthodes formelles (au sens large) afin d'accroître la confiance dans le fait que le système résultant satisfait aux propriétés (non) fonctionnelles souhaitées.

Vos missions principales seront de :

- Participer à la conception et la mise en oeuvre d'enseignements dans votre domaine scientifique
- Conduire des recherches dans votre domaine scientifique
- Participer au développement de partenariats, de collaborations et de relations contractuelles