ssp: Offre d’emploi
Posté le vendredi 16 décembre 2005 par Fabrice Kordon

Le laboratoire DTN de l’ENSIETA (www.ensieta.fr/dtn) de Brest est impliqué pour les 3 années à venir dans un projet qui concerne des aspects Ingénierie Dirigée par les Modèles et Validation Formelle. Les applications visées sont du domaine du développement des systèmes de systèmes et des logiciels embarqués. Les techniques étudiées dans ce projet sont le suivantes :
- Meta-modélisation et transformation de modèles
- spécification des exigences
- Vérification formelle de modèles

Le laboratoire DTN est à la recherche d’un ingénieur de recherche ou d’un post-doctorant en CDD (durée de 36 mois) pouvant débuter début 2006. L’ingénieur intégrera l’équipe de recherche logiciel et participera à la conception d’un environnement de conception basé sur les techniques évoquées précédemment.

Compétences recherchées :
- Modélisation objet
- Transformation de modèles
- Techniques de vérification formelles
- Bonne aptitude au développement de logiciels (Eclipse, Java, UML, langages formels)

Informations techniques, contact :
Philippe DHAUSSY Enseignant-chercheur
Responsable Laboratoire Developpement Technologies Nouvelles
ENSIETA / DTN Tel : (33) 2 98 34 88 90
2 rue Francois-Verny Fax : (33) 2 98 34 87 30
29806 Brest Cedex 9 Courriel : dhaussy@ensieta.fr
Web : http://www.ensieta.fr/dtn

Informations administratives, contact :
Paul LE POUPON, secrétaire général, ENSIETA
ENSIETA
Tel : (33) 2 98 34 88 36 Courriel : lepouppa@ensieta.fr

logo-spip E. Saint-James & F. Kordon - Master Informatique - UPMC Valid XHTML 1.0!
Calculé le 26 novembre 2020 à 22h05min