Doctorant ou Doctorante

**Présentation de Télécom SudParis**:
Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l’excellence scientifique de son corps professoral et une pédagogie mettant l’accent sur les projets d’équipes, l’innovation de rupture et l’entreprenariat. Télécom SudParis compte 1 000 étudiantes et étudiants dont 700 élèves ingénieurs et environ de 150 doctorantes et doctorants. Télécom SudParis fait partie de l’Institut Mines-Télécom, premier groupe d’école d’ingénieurs en France, et partage son campus avec Institut Mines-Télécom Business School. Télécom SudParis est co
- fondatrice de l'Institut Polytechnique de Paris (IP Paris), Institut de Sciences et Technologies à vocation mondiale avec l’École polytechnique, l’ENSTA Paris, l’ENSAE Paris, l'ENPC et Télécom Paris. Vidéo présentation de Télécom SudParis

**À propos de l'Institut Mines-Télécom**:
L'Institut Mines-Télécom (IMT) est un établissement public dédié à l'enseignement supérieur et la recherche pour l'innovation dans les domaines de l'ingénierie et du numérique. À l’écoute permanente du monde économique, l'IMT conjugue une forte légitimité académique et scientifique, une proximité avec les entreprises et un positionnement unique sur les transformations majeures au XXIe siècle : numériques, énergétiques, industrielles et éducatives siècle. Ses activités se déploient au sein des grandes écoles Mines et Télécom sous tutelle du ministre en charge de l’Industrie et des communications électroniques, de deux filiales et de partenaires associés ou sous convention. L'IMT est membre fondateur de l’Alliance Industrie du Futur. Il est doublement labellisé Carnot pour la qualité de sa recherche partenariale.

Vidéo de présentation de l'Institut Mines-Télécom

**Missions**:
Les contributions de cette thèse sont les suivantes : Un ensemble de liens de structuration de machines/raffinement Event-B, les obligations de preuve assurant la correction globale d’un système et la préservation des propriétés un plugin Rodin qui faciliterait la mise en pratique de l’approche et sa validation sur des cas industriels. Le développement d’une telle approche va permettre de favoriser l’utilisation de la méthode formelle Event-B pour la modélisation de système industriels à taille réelle.

References
- J-R. Abrial: Modeling in Event-B. Cambridge University Press (2010)
- R. Silva, M-J. Butler: Supporting Reuse of Event-B Developments through Generic Instantiation. ICFEM 2009
- A. Iliasov, E. Troubitsyna, L. Laibinis, A-B. Romanovsky, K. Varpaaniemi, D. Ilic, T. Latvala: Supporting Reuse in Event B Development: Modularisation Approach. ASM 2010.
- J-R. Abrial and S. Hallerstede. Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam. Inf., 77(1-2), 2007.

**Formation**:

- Diplôme Bac + 5 ou équivalent

**Capacités et aptitudes**:

- Rigueur, méthode de gestion de projets
- Aisance relationnelle avec des interlocuteurs de tous niveaux, esprit d’écoute et de coopération
- Capacité à travailler en équipe
- Respect strict des obligations de confidentialité au regard des données utilisées
- Nature du contrat : Contrat Doctoral de 3 ans
- Localisation du poste: Evry-Courcouronnes (91)
- Conditions de travail : Télétravail possible, restaurant et cafétéria sur site, accessibilité en transport en commun (avec participation de l'employeur) ou proche des axes routiers, association du personnel et association sportive sur le campus