Enseignante-chercheuse ou Enseignant-Chercheur en méthodes formelles dans le domaine du matérie[...]

Institut Mines-Télécom; Palaiseau; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Un institut de formation et recherche à Palaiseau recherche un enseignant-chercheur en méthodes formelles, axé sur les systèmes matériels et logiciels. Vous serez impliqué dans la conception d'enseignements et la conduite de recherches en cybersécurité et systèmes embarqués. Ce poste nécessite un doctorat, des compétences en anglais, et de solides connaissances dans ces domaines. Le rôle inclut aussi le développement de partenariats et collaborations.

Prestations

Télétravail/flexibilité de l'organisation

49 jours de congés payés/RTT

Mutuelle et prévoyance

Qualifications

• Doctorat dans un domaine pertinent.
• Connaissances approfondies sur les systèmes embarqués.
• Expérience postdoctorale ou internationale appréciée.

Responsabilités

• Concevoir et mettre en œuvre des enseignements.
• Conduire des recherches en méthodes formelles.
• Développer des partenariats dans le domaine scientifique.

Connaissances

Connaissances théoriques ou appliquées en matériel et logiciels

Anglais maîtrisé

Expérience en cybersécurité

Formation

Doctorat

Description du poste

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 œuvre 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

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…

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 Humaines
• Audition par la commission de recrutement et classement des candidats retenus
• Entretien final avec le directeur de Télécom Paris

Informations complémentaires :

Type de contrat : CDI

Localisation : Palaiseau (20km de Paris)
Contacts : Florian Brandner - [e-mail]
La description de poste complète ici

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

Nos recrutements sont fondés sur les compétences, sans distinction d’origine, d’âge, d’identité de genre et d’orientation sexuelle et tous nos postes sont ouverts aux personnes en situation de handicap.