SYSTEMES EMBARQUES CRITIQUES DE CONFIANCE

Télécom ParisTech propose un poste de maître de conférences autour des systèmes embarqués critiques de confiance. Ce poste d’enseignant-chercheur s’inscrit dans un axe stratégique de recherche de Télécom ParisTech portant sur la « Confiance Numérique » et se rattache aux équipes de recherche Systems, Software and Services du département "Informatique et Réseaux" et Systèmes Électroniques Numériques du département "Communications et Électronique".

Pour toute question ou renseignement, merci de lirida[dot]naviner[at]telecom-paristech[dot]fr et laurent[dot]pautet[at]telecom-paristech[dot]fr.

ACTIVITÉS PRINCIPALES

RECHERCHE

• Assure et pilote un ensemble de recherches en amont et/ou appliquées dans une ou plusieurs disciplines dans le domaine des systèmes embarqués critiques de confiance
• Conçoit et participe à des contrats de recherche novateurs (projets industriels, projets publics nationaux et européens), notamment dans l'IRT Systèmes Complexes (ALSTOM, Renault, Peugeot, ...)
• Participe à la création de chaires et notamment à l’activité de la chaire Systèmes Complexes, en collaboration avec l’Ecole Polytechnique, ENSTA ParisTech et les partenaires industriels (THALES, Dassault Aviation, DGA, ...)
• Contribue au renforcement des collaborations avec les industriels clés du domaine et les laboratoires publics, en particulier sur le plateau de Saclay (LIX, LRI, INRIA, INRIA, IRT SystemX, ...) et à l’international (SEI/CMU, ...)

ENSEIGNEMENT

• Participe à la conception des enseignements en formation initiale et continue

  Analyse les besoins en formation Conçoit les cours et outils pédagogiques destinés aux enseignements Participe à la coordination des modules d’enseignement de ces formations

• Participe aux enseignements

  Assure des cours et des travaux dirigés/travaux pratiques en formation initiale (élèves ingénieurs), en formation continue (mastères spécialisés) et dans des parcours de l’Université Paris-Saclay ou de l’UPMC. Il n'y a pas de charge minimale d'enseignement.

• Participe aux soutenances de stage, aux jurys d’entretien de sélection de candidats

FORMATION ET COMPETENCES

NIVEAU DE FORMATION ET/OU EXPÉRIENCE REQUIS

• Doctorat ou équivalent
• Fonctionnaire appartenant à un corps recruté par la voie de l’École Polytechnique ou de l’ENA ou ancien élève de l’École Normale Supérieure avec expérience professionnelle ≥ 3 ans
• Diplôme d’une École d’ingénieurs ou de commerce et de gestion ou équivalent avec expérience professionnelle ≥ 5 ans
• Diplôme Bac + 5 ou équivalent avec expérience professionnelle ≥ 5 ans
• Cadre d’entreprise de très haut niveau avec expérience professionnelle ≥ 8 ans

COMPÉTENCES, CONNAISSANCES ET EXPÉRIENCES INDISPENSABLES

• Connaissance théorique et pratique approfondie dans le domaine des applications embarquées critiques de confiance au niveau logiciel mais également au niveau matériel. Plus particulièrement, des compétences sont attendues dans une ou plusieurs des thématiques suivantes : vérification et analyse formelles, sûreté de fonctionnement, vrai parallélisme des architectures embarquées
• Expérience de la recherche dans les domaines cités ci-dessus (publications dans journaux et conférences de premier plan, participation à des projets de recherche nationaux et internationaux et/ou industriels)
• Expérience de l'enseignement supérieur, notamment dans les domaines cités ci-dessus (cours magistraux et travaux pratiques, conception de nouveaux cours, de supports pédagogiques, etc.)
• Connaissance du secteur des technologies de l'information et de la communication
• Maîtrise de l'anglais écrit et oral

COMPÉTENCES, CONNAISSANCES ET EXPÉRIENCES SOUHAITABLES

• Vérification et analyse formelles :

  Méthodes liées à l’étude de l’accessibilité d’un ensemble d’état sur un modèle à transition stochastique, et compréhension de ses usages pratiques

  Méthodes d’analyse sur des modèles comportementaux à base de signaux ou événements discrets utilisés dans la modélisation des systèmes embarqués

• Sûreté de fonctionnement

  Analyse et modélisation du risque (e.g. telle qu’abordée dans des approches comme Altarica, ou AADL error annex)

  Analyse et modélisation des fautes sur les architectures matérielles

• Vrai parallélisme des architectures matérielles

  Architectures multi-cœurs, ordonnancement temps réel pour multi-cœurs, hyperviseur pour multi-cœurs, ...

CANDIDATURE

• un curriculum vitae complet et détaillé,
• une lettre de motivation,
• une notice de travaux exposant les activités passées du candidat en enseignement (formation initiale, et formation continue) et en recherche : les deux types d’activités doivent être décrits avec le même souci de rigueur et de précision et témoigner des réflexions qui les ont accompagnées,
• le texte des principales publications,
• les noms et adresses de deux personnalités qualifiées pouvant donner un avis éclairé sur la candidature,
• un projet succinct d’enseignement et un projet succinct de recherche (maximum 3 pages).

DATES

• jusqu'au début avril : visites informelles des candidats
• 6 avril 2015 : date limite du dépôt de candidatures
• début avril jusqu'à fin avril : visites informelles des candidats
• 6 mai 2015 : auditions devant la commission de pré-selection (avec membres du groupe et personnalités extérieures)
• 19 mai 2015 : auditions devant la commission de recrutement (avec directeur et personnalités extérieures)
• 2eme quinzaine de mai : notification aux candidats
• 1er Septembre 2015 : date prévisible d'embauche