Postdoc: Source-Code History & DAG Analytics

Inria, the French national research institute for the digital sciences; France; Hybride; EUR 50 000 - 62 000; Plein temps

Avantages offerts par ce poste

Partial transport reimbursement

7 weeks annual leave

6 months teleworking eligibility

Professional equipment provided

Open-source dissemination

Résumé du poste

Inria seeks a researcher to advance code analysis across large software histories. You will work on HyperAST-based DAG models, TSQ language formalization, and scalable incremental analyses within the Spirals project, focusing on self-adaptive systems.

You will contribute to supervision, seminars, and open-source efforts, collaborating with CRIStAL/Inria teams in France. A strong publication record is expected.

Qualifications

• Experience researching large real-world codebases and performance benchmarking.
• Strong background in software analysis and code history modeling.
• Ability to mentor students and collaborate across teams.

Responsabilités

• Formalize TSQ language beyond syntax-highlighting for code analysis.
• Build incremental code search engine atop TSQ and HyperAST.
• Develop def-use/incremental analysis for large repos.
• Extend code search to Software Heritage archive integration.
• Disseminate findings via publications and open-source releases.

Connaissances

Software engineering

Mining software repos

Graph theory

Program analysis

Incremental analysis

Distributed systems

Code search

Formation

PhD in Computer Science

Outils

TSQ

HyperAST

Git internals

SWH integration

Description du poste

Inria seeks a researcher to advance code analysis across large software histories. You will work on HyperAST-based DAG models, TSQ language formalization, and scalable incremental analyses within the Spirals project, focusing on self-adaptive systems.

You will contribute to supervision, seminars, and open-source efforts, collaborating with CRIStAL/Inria teams in France. A strong publication record is expected.