Phd Position F - M Modélisation et Extraction Efficace des Flux de Contrôle et de Données pour l'Ingénierie Dirigé par les Modèles H/F

INRIA

PhD Position F/M Modélisation et extraction efficace des flux de contrôle et de données pour l'ingénierie dirigé par les modèles (H/F)
Le descriptif de l'offre ci-dessous est en Anglais
Type de contrat : CDD

Niveau de diplôme exigé : Bac +5 ou équivalent

Fonction : Doctorant

Niveau d'expérience souhaité : Jusqu'à 3 ans

A propos du centre ou de la direction fonctionnelle

Created in 2008, the Inria center at the University of Lille employs 360 people, including 305 scientists in 16 research teams. Recognized for its strong involvement in the socio-economic development of the Hauts-De-France region, the Inria center at the University of Lille maintains a close relationship with large companies and SMEs. By fostering synergies between researchers and industry, Inria contributes to the transfer of skills and expertise in the field of digital technologies, and provides access to the best of European and international research for the benefit of innovation and businesses, particularly in the region.

For over 10 years, the Inria center at the University of Lille has been at the heart of Lille's university and scientific ecosystem, as well as at the heart of Frenchtech, with a technology showroom based on avenue de Bretagne in Lille, on the EuraTechnologies site of economic excellence dedicated to information and communication technologies (ICT).

Contexte et atouts du poste

This PhD is a Cifre thesis in collaboration with the Berger-Levrault company.

The candidate will be encouraged to propose analysis tools for developers and engineers, which can be included directly in the software development environment to be analyzed (for example in the IDE via Language Server Protocol).

Mission confiée

Context

Today, static analysis can be integrated into a model-driven engineering (MDE) approach to transform source code into usable abstract representations. The FAMIX metamodel of the Moose platform (Anquetil et al. 2020) models software systems as entities (classes, methods, attributes, etc.) and relationships (calls, inheritance, dependencies, etc.), allowing their static structure to be captured. These models are used to analyze architecture, verify design rules, and support software transformations such as migration or refactoring. They are therefore essential tools for software understanding, maintenance, and evolution, whether the software is new or legacy.

The Moose platform has demonstrated its usefulness in industrial contexts, notably at Berger-Levrault (a partner in this thesis). It has been used to support various software evolution processes, such as architectural migrations (Zaragoza 2022). operations to separate application layers (Verhaeghe 2021); or even functional test migrations (Hlad and Verhaeghe 2025).

Challenges
The objective of this thesis is to extract and model the control and data flows observed during the execution of a software application, in order to make them usable within the Moose software analysis platform.The work will propose a metamodel integrable into the Moose/FAMIX ecosystem to represent this dynamic information, as well as an analysis chain to instantiate and use models on open-source and industrial case studies.

Outcome

The project will propose a methodology to realize code migration of a niche technology for a specific organization using LLMs.

More importantly, it will identify the key points required in such a project and the advantages and drawback of such a project as compared for example to a deterministic model based approach?

Bibliography

- Anquetil, Nicolas, Anne Etien, Mahugnon H. Houekpetodji, et al. 2020. «Modular Moose: A New Generation Software Reverse Engineering Environment». arXiv:2011.10975. Prépublication, arXiv, novembre 22. .
- Hlad, Nicolas, et Benoit Verhaeghe. 2025. Migrating Katalon Studio Tests to Playwright with Model Driven Engineering.
- Verhaeghe, Benoît. 2021. «Incremental Approach for Application GUI Migration Using Metamodels». Phdthesis, Université de Lille. .
- Zaragoza, Pascal. 2022. «Model-driven migration of monolithic applications towards a microservice-oriented architecture». Université de Montpellier.

Principales activités

Responsibilities:

- Analysis and reverse engineering of existing codebases
- Programming in the Pharo Object-Oriented language (pharo.org)
- Contributing to summarization and dissemination of results, writing scientific articles.

Compétences

- Good foundation in Software Engineering.
- Proficiency in OOP is required (knowing of Pharo programming language is a plus)
- Excellent problem-solving abilities and a strong interest in research.
- Ability to work independently and collaboratively in a dynamic team.
- Good communication skills (English required, French is a plus)

Avantages

- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage

Rémunération

€2,300 gross per month