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

Karlstad University; Gif-sur-Yvette; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Un institut de formation numérique recherche un enseignant-chercheur expérimenté en méthodes formelles, spécialisé dans les systèmes matériels et logiciels. Ce poste est basé à Palaiseau. Les candidats doivent avoir un doctorat, une maîtrise approfondie des systèmes embarqués et des compétences en cybersécurité. Ce rôle implique la conduite d'enseignement, la recherche et le développement de partenariats. Conditions attractives inclus un environnement de travail flexible et 49 jours de congés payés.

Prestations

Télétravail

49 jours de congés payés

Mutuelle & prévoyance

Qualifications

• Docteur avec expertise en méthodes formelles, matériels et logiciels.
• Expérience postdoctorale ou internationale dans un laboratoire souhaitée.
• Maîtrise de l'anglais obligatoire.

Responsabilités

• Concevoir et mettre en œuvre des enseignements dans le domaine scientifique.
• Conduire des recherches en méthodes formelles appliquées.
• Participer au développement de partenariats scientifiques.

Connaissances

Connaissances en matériel et logiciels

Cybersécurité

Systèmes embarqués

Ingénierie logicielle

Formation

Doctorat requis

Description du poste

Enseignante-chercheuse ou Enseignant-Chercheur en méthodes formelles dans le domaine du matériel et des logiciels - CDI

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 uneenseignante-chercheuse ou un enseignant-chercheur enmé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 .p>

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

Pré-requis du poste

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.

• 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.

• 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 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 :

Localisation: Palaiseau (20km de Paris)
Contacts :Florian Brandner - [emailprotected]
Description de poste complèteici

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.

Enseignante-chercheuse ou Enseignant-Chercheur en méthodes formelles dans le domaine du matériel et des logiciels - CDI

Application deadline