Ingénieur-e de recherche en théorie de concurrence et HDA (H/F)

1. Assurer des missions de recherche dans le domaine
- Participe à la réalisation des contrats de recherche
- Conçoit, développe et met en œuvre une instrumentation technique ou méthodologique innovante dans le cadre des projets scientifiques auxquels il participe
- Elabore des algorithmes prototypes
- Documente les équipements logiciels conçus pour les programmes de recherche afin d'en permettre le transfert
- Réalise des études liant les HDA à d'autres formalismes comme les réseaux de Petri

2. Participe à la notoriété de l'Ecole et de l'Institut Mines-Télécom
- Est associé aux publications relatives aux projets de recherche en HDA et théorie de langages.
- Présente des travaux aux séminaires associés comme pacts et ppwg.

3. Activités diverses
- Rend compte des activités et des résultats qui relèvent des missions dont il a la charge