Contract type : Fixed-term contract
Level of qualifications required : PhD or equivalent
Fonction : Post-Doctoral Research Visit
The SPIRALS project team conducts research in distributed systems and software science. Our goal is to introduce greater autonomy into software systems' adaptation mechanisms, specifically to support the transition from adaptive to self-adaptive systems. We focus particularly on two properties: self-healing and self-optimization. With self-healing, we aim to study and adapt data mining and machine learning solutions to the design and implementation of software systems, especially for the automatic repair of software systems. With self-optimization, we aim to share, collect, and analyze behaviors in a distributed environment to continuously adapt, optimize, and maintain software systems, moving toward perpetual distributed systems. The Spirals project team works in cloud computing and mobile application development.
Analyzing the history of source code is becoming essential to keep pace with increasingly large and complex software systems — some projects, like Chromium or the Linux kernel, span tens of millions of lines of code and over a million commits. Most existing tools still treat code at the level of individual text files, which limits their ability to scale when changes span many files (e.g., automated refactorings, dependency updates) or when several versions of a codebase must be analyzed together.
This position is part of a research project built around HyperAST, a model that represents source code histories as a directed acyclic graph (DAG) and deduplicates code subtrees within and across versions. This structure makes it possible to pre-compute and reuse intermediate analysis results efficiently, enabling accurate, temporally consistent analyses at a scale current approaches cannot reach.
Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed.
Defence Security :
This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.
Recruitment Policy :
As part of its diversity policy, all Inria positions are accessible to people with disabilities.
Inria, the French national institute for research in digital science and technology, supports the French government in national research and innovation strategies in the digital field, acting as Digital Programs Agency. Inria leads over 300 research and innovation projects with its 3,500 scientists, engineers, and support staff, in partnership with universities and the digital ecosystem (businesses, entrepreneurs, and public stakeholders). Together, we explore strategic fields such as artificial intelligence, cybersecurity, quantum computing, cloud technologies, digital transformation in healthcare, digital twins, and digital technologies for defence. We develop practical solutions such as software, tech startups, partnerships with national companies, and cutting-edge training programmes. Our goal is to drive scientific, technological, and industrial excellence to ensure France’s digital sovereignty.
Job details are sourced from the employer's original posting.
Open job postingAbout the company
INRIA is the French national research institute for digital science and technology.