Enseignant-chercheur, méthodes formelles et systèmes embarqués

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

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.