Two Professor Positions at Université Joseph Fourier/VERIMAG - France
Sergio Yovine
Applications are invited for two Professor positions open at
Université Joseph Fourier/VERIMAG, Grenoble
(http://www.ujf-grenoble.fr/Welcome-Intranet.phtml).
Successful applicants will join the VERIMAG laboratory
(http://www-verimag.imag.fr/).
The research profiles of the positions are the following:
Position 1 : Validation of Critical Systems
Formal Methods, Formal Specification of Reactive Systems,
Specification Languages,
Model Checking,
Deductive Verification Methods,
Static Analysis,
Test of Reactive Systems.
Position 2 : Real-time Systems
Real-time Languages, semantics and implementation,
Real-time Operating Systems, Scheduling,
Synchronous Programming,
Timed and Hybrid Systems,
Discrete Event Systems,
Validation Methods for Real-time Systems.
For more information, please contact:
Joseph Sifakis
UMR Verimag
2 rue Vignate
38610 Gières, France
Tel +33 476 63 48 51 Fax +33 476 63 48 50
mailto:Joseph....@imag.fr http://www-verimag.imag.fr/
--------------
EMPLOI PR 262
Publication demandée : Poste de Professeur
Section du CNU: 27e section
Profil: Logiciels critiques, validation de protocoles
Laboratoire d'affectation : VERIMAG (UMR 9939)
Recherche
La recherche s'effectuera au laboratoire VERIMAG de la Fédération IMAG
(Informatique et Mathématiques Appliquées de Grenoble). Les travaux
menés à VERIMAG visent à développer des techniques de validation pour
deux familles de langages utilisés pour la description des applications
critiques:
Les langages synchrones comme les langages Lustre et Argos développés
à VERIMAG, dédiés à la programmation des systèmes de commande
temps réel.
Les langages asynchrones pour la spécification des systèmes distribués
et notamment des protocoles tel que le langage SDL, pour lesquels des
environnements de validation dédiés sont mis en oeuvre.
Dans ces travaux, VERIMAG cherche à maintenir un équilibre entre
recherche fondamentale, expérimentale et appliquée, en particulier
grâce à des coopérations durables et soutenues avec des partenaires
industriels.
VERIMAG joue un rôle important dans le domaine de l'application des
méthodes formelles au développement des systèmes critiques. Il réunit
des compétences en programmation synchrone, spécification des
protocoles et des systèmes distribués, analyse des systèmes temporisés
et hybrides.
Il s'agit de renforcer le potentiel de recherche sur le thème de la
spécification et de la validation des systèmes asynchrones, tels que
les protocoles de communication et les systèmes distribués, en général.
Les directions de travail concernent l'étude de la sémantique et la
mise en oeuvre de langages à communications asynchrones, l'introduction
du temps dans ces langages ainsi que les techniques de validation
sous-jacentes.
Les candidats doivent avoir des compétences reconnues dans les domaines
suivants:
- Méthodes formelles, Spécification formelle des systèmes réactifs,
- Langages de spécification,
- Méthodes de vérification fondées sur les modèles,
- Méthodes de vérification déductives,
- Analyse statique,
- Test des systèmes réactifs
Formation
* participation au développement des filières technologiques de l'UFR
Informatique et Mathématiques Appliquées, mise en place
d'enseignements
nouveaux, en particulier sur le plan expérimental, dans le domaine des
logiciels critiques et de la validation.
* participation aux enseignements fondamentaux d'algorithmique,
logiciels
et systèmes en premier et second cycle.
* mise en place de modules d'enseignements sur les logiciels critiques
et
les logiciels de protocoles
Informations
- contact enseignement :
Michel Adiba 04 76 51 46 12, Fax 04 76 51 47 93,
e-mail: Michel...@imag.fr
- contact recherche :
Jacques Voiron 04 76 51 48 99, Fax 04 76 51 49 64,
e-mail:Jacques...@imag.fr
Joseph Sifakis 04 76 63 48 51, Fax 04 76 63 48 50,
e-mail: Joseph....@imag.fr
________________________________________________________________________
Publication demandée : Poste de Professeur
Section du CNU: 27e section
Profil : Systèmes temps-réel
Laboratoire d'affectation : VERIMAG (UMR 9939)
Recherche
La recherche s'effectuera au laboratoire VERIMAG de la Fédération IMAG
(Informatique et Mathématiques Appliquées de Grenoble).
Les travaux menés à VERIMAG visent à développer des techniques de
validation pour deux familles de langages utilisés pour la description
des applications critiques:
Les langages synchrones comme les langages Lustre et Argos développés
à VERIMAG, dédiés à la programmation des systèmes de commande temps
réel.
Les langages asynchrones pour la spécification des systèmes distribués
et notamment des protocoles, pour lesquels des environnements de
validation dédiés sont mis en oeuvre.
Dans ces travaux, VERIMAG cherche à maintenir un équilibre entre
recherche fondamentale, expérimentale et appliquée, en particulier grâce
à des coopérations durables et soutenues avec des partenaires
industriels.
VERIMAG joue un rôle important dans le domaine de l'application des
méthodes formelles au développement des systèmes critiques. Il réunit
des compétences en programmation synchrone, spécification des protocoles
et des systèmes distribués, analyse des systèmes temporisés et hybrides.
Il s'agit de renforcer le potentiel de recherche sur le thème de la mise
en oeuvre et de la validation des systèmes temps-réel. Les candidats
doivent avoir des compétences reconnues dans les domaines suivants:
- Langages temps-réel, sémantique et implantation,
- Exécutifs temps-réel, ordonnancement,
- Programmation synchrone,
- Systèmes temporisés et hybrides,
- Systèmes a événements discrets,
- Méthodes de validation des systèmes temps-réel
Formation
* participation au développement des filières technologiques de l'UFR
Informatique et Mathématiques Appliquées, mise en place
d'enseignements
nouveaux, en particulier sur le plan expérimental, dans le domaine des
systèmes temps-réel.
* participation aux enseignements fondamentaux d'algorithmique,
logiciels et systèmes en premier et second cycle.
Informations
- contact enseignement :
Michel Adiba 04 76 51 46 12, Fax 04 76 51 47 93,
e-mail: Michel...@imag.fr
- contact recherche :
Jacques Voiron 04 76 51 48 99, Fax 04 76 51 49 64,
e-mail:Jacques...@imag.fr
Joseph Sifakis 04 76 63 48 51, Fax 04 76 63 48 50,
e-mail: Joseph....@imag.fr