Attention! L'offre d'emploi ci-dessous n'est plus valable, le poste en question
ayant été pourvu depuis.
Poste MCF0361 de Maître de Conférences à l'ENSIMAG et chaire INRIA
intitulé « Sûreté et sécurité des systèmes »
laboratoire d'accueil LIG et centre de recherche INRIA de Grenoble Rhône-Alpes
Version 17 - Date 2011/11/24 13:11:13
Cette page est en cours de construction et sera progressivement enrichie
Les informations affichées ici pourront être affinées ou corrigées
Informations officielles disponibles :
Autres informations (sous toutes réserves, car le statut de chaire est encore très récent - à confirmer auprès des responsables et par la lecture des textes officiels) :
- Les chaires universités-organismes des postes attractifs destinées à faire venir d'excellents candidats. Par rapport à un poste de maître de conférences, on peut noter un volume d'enseignement réduit, un salaire plus élevé, ainsi que qu'une dotation pour effectuer de la recherche.
- Le poste est fléché sur l'une des trois équipes INRIA/LIG suivantes : POP-ART, SARDES et VASY.
- Il semble que pour candidater, il faut remplir plusieurs conditions, notamment : (avoir été qualifié) et ((ne pas avoir fait sa thèse à Grenoble) ou bien (avoir fait 3 ans de post-doctorat hors de Grenoble)).
- Le dossier de candidature est en format libre. Il doit mettre en valeur les travaux accomplis et proposer un projet de recherche indiquant comment le(la) candidat(e) compte s'intégrer dans le profil du poste et dans une équipe de recherche.
- La commission de recrutement pour cette chaire est une commission mixte spéciale Grenoble INP-INRIA. Aucun représentant des trois équipes (POP-ART, SARDES, VASY) ne figure dans cette commission. Cette commission est différente des autres commissions constituées pour les autres postes de chargé de recherche ou de maître de conférences.
- L'équipe VASY encourage naturellement les candidat(e)s dont le programme de recherche viendrait conforter ses axes thématiques - voir notamment le rapport d'activité VASY 2008. A titre indicatif, voici une liste non exhaustive de thèmes qui intéressent spécifiquement VASY :
- Vérification énumérative (par model checking ou equivalence checking) de systèmes complexes (au delà du milliard d'états, pour fixer les idées)
- Exploitation du calcul massivement parallèle pour la vérification énumérative
- Langages formels asynchrones de nouvelle génération (de type E-LOTOS, LOTOS NT)
- Vérification d'architectures multiprocesseurs de complexité industrielle
- Applications de la vérification énumérative à de nouveaux domaines (sciences cognitives, modélisation du vivant, etc.)
- Les équipes SARDES et VASY encouragent les candidat(e)s dont le programme de recherche permettrait de resserrer les liens entre les deux équipes. A titre indicatif, voici une liste non exhaustive de thèmes d'intérêt commun identifiés par les deux équipes :
- Vérification de systèmes autonomes distribués : L'équipe SARDES conçoit des algorithmes d'auto-réparation et d'auto-protection qui visent une gestion automatique des fautes matérielles ou logicielles et des intrusions au sein d'un système distribué ; en particulier, SARDES a développé un prototype pour la gestion autonome de serveurs d'application Internet en grappe et de bus à messages ; on souhaite modéliser formellement ces algorithmes et les vérifier en utilisant diverses approches, dont les outils de vérification CADP développés par l'équipe VASY. Pour plus d'information : Hubert Garavel (VASY), Jean-Bernard Stefani (SARDES) et Noël de Palma (SARDES).
- Preuves de correction de machines virtuelles : L'équipe SARDES développe un langage de programmation à base de composants et une machine virtuelle associée ; il s'agit, en lien avec l'équipe VASY, d'étudier la correction de cette machine virtuelle vis-à-vis de propriétés de sécurité (isolation, non-interférence, etc.) et de répartition (la machine virtuelle pouvant elle-même être répartie). Pour plus d'information : Hubert Garavel (VASY) et Jean-Bernard Stefani (SARDES).
- Techniques de vérification pour langages concurrents d'ordre supérieur : L'équipe SARDES développe des formalismes (calculs de processus d'ordre supérieur, c'est-à-dire des calculs dans lesquels des processus peuvent être manipulés comme des objets de première classe) ; il s'agit, d'une part, d'étudier des notions de simulation et de bisimulations idoines et, d'autre part, de proposer des mécanismes permettant d'exploiter, à des fins de vérification, les techniques implantées dans les outils de l'équipe VASY. Pour plus d'information : Hubert Garavel (VASY) et Jean-Bernard Stefani (SARDES).
Back to the VASY Home Page