Nous recherchons une personne ayant son doctorat pour travailler avec UTC-HEUDIASYC sur les aspects de transformation de modèles.

Nous sommes impliqués dans plusieurs projets ANR (RNTL-MEMVATEX, RNTL-HECOSIM,ACI-SAFECODE, PREDIT-IMOFIS) qui nécessitent de développer des maquettes mettant en oeuvre des méta-modèles et des transformations. A titre d'exemple : UML vers FRACTAL, UML vers B et VHDL vers XLIA.

Nous avons déjà réalisé une première maquette UML vers B en mettant en oeuvre OpenArchitectureWare mais il y a des actions liées aux environnements ATL et KERMETA.

Le poste est disponible rapidement et serait d'une durée minimum de 18 mois (POST DOC.).