Enseignant-Chercheur en Méthodes Formelles (Embarqués)

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

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.