| Profil détaillé |
Profil Recherche : Systèmes Embarqués
Les systèmes embarqués sont caractérisés par l'intégration en réseau de
composants logiciel et matériel hétérogènes. Ceci est le cas dans plusieurs
domaines d'application tels que les télécommunications, et le transport. Le
comportement du système et des composants est souvent soumis à des fortes
contraintes de temps et de synchronisation. Ces contraintes doivent être
assurées pendant le fonctionnement du système sur une plate-forme d'exécution et
communication donnée.
Les systèmes embarqués constituent un axe prioritaire du laboratoire Verimag qui
joue un rôle important dans le domaine au niveau national (coordination du
Réseau Thématique Pluridisciplinaire n°19 - "Systèmes Embarqués Complexes ou
Contraints", http://www.systemes-critiques.org/SECC/) et au niveau européen
(coordination du Réseau d'Excellence européen ARTIST,
http://www.systemes-critiques.org/ARTIST/).
Dans le cadre des projets nationaux et européens, Verimag a de fortes
coopérations avec des industriels tels que ST Microelectronics, CEA/LETI, EADS,
Silicomp et France Télécom.
L'emploi demandé a pour objectif le renforcement des activités du laboratoire en
systèmes et logiciels embarqués. Le candidat doit avoir des compétences dans un
ou plusieurs des domaines suivants :
- Langages, méthodes et outils de modélisation des aspects fonctionnels
et non-fonctionnels de systèmes complexes
- Langages de programmation de haut niveau, compilation et analyse
- Technologies à base de composants et objets
- Plates-formes d'exécution, intergiciels temps-réel, communication
intégrée en réseau
- Méthodes et outils de vérification et de test
Le candidat pourra s'intégrer dans une des équipes existantes ou
construire une nouvelle équipe sur un axe de recherche en cohérence avec les
orientations du laboratoire. |