POSTE : Enseignante-Chercheuse ou Enseignant-Chercheur en Méthodes Formelles dans le Domaine du Matériel et des Logiciels - CDI H/F DESCRIPTION : 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 {} PROFIL : Pour réussir dans ce rôle, vous détenez un doctorat et vous maîtrisez l'anglais. Vous possédez des connaissances théoriques ou appliquées approfondies à la croisée du matériel et des logiciels ou liées aux systèmes embarqués, au génie logiciel et à la cybersécurité. Une expérience postdoctorale ou internationale dans un laboratoire universitaire ou industriel est appréciée. L'ensemble des prérequis pour ce poste est détaillé dans la description de poste complète. Pourquoi rejoindre Télécom Paris ? - Excellence scientifique : Laboratoires de renom (LTCI, i3, CREST), équipements de pointe, et reconnaissance internationale. - Pluridisciplinarité : combiner les expertises de tous les secteurs du numérique. - Partenariats industriels et académiques : Chaires industrielles, intégration à Paris-Saclay (1er pôle d'innovation d'Europe) et à l'Institut Polytechnique de Paris. - Accompagnement personnalisé : Parcours d'intégration, formations dédiées, séminaires d'échange, et séjours d'étude rémunérés. - Avantages : télétravail/flexibilité de l'organisation de travail, 49 jours de congés payés/RTT, mutuelle & prévoyance Pour candidater envoyez votre dossier complet avant le 27 février 2026 : - CV détaillé (max 2 pages) - Lettre de motivation - Rapport d'activités en recherche (encadrement, problématique, ), en enseignement (titre, volume, ) et des tâches collectives (max 4 pages) - Descriptif d'enseignement (résumé des activités, un projet succinct d'intégration en enseignement au niveau universitaire et formation continue) (max 4 pages) - Descriptif de recherche (résumé et résultats des activités, un projet succinct d'intégration en recherche) (max 4 pages) - Copie des 3 meilleures publications, liste de publications - Noms et coordonnées de 2 références qualifiées Processus de sélection en 4 étapes : - Échange avec l'équipe d'accueil pour établir une liste des candidats présélectionnés - Entretien préalable avec les Ressources Humain