Job offers

The Links project of Inria Lille and the CRIStAL lab is working on foundations and applications for querying Web databases based on logics and automata. Links’ general objective is to develop novel techniques for querying heterogeneous collections of linked Web databases as if they were integrated into a single homogeneous database. Beside other challenges, this requires to develop novel algorithms that enable the management of dynamic networks of linked and distributed data in a real time. Links has opening for research positions on all different levels, offered by Inria, CNRS, the Universities of Lile 1 and Lille 3. The opportunities are listed below. Whenever you are interested in working with us, please contact us by email to

Currently we have the following openings:

    1. PhD fellowships.

  • Explainable Data Processing through Knowledge Compilation, topic here
  •   On demand. Please contact us in case of interest and we see what we can do for you
    1. Postdocs

      The openings of postdoc positions at INRIA are usually in March, so that the postdoc can start in September. Some of the topics proposed above for a PhD thesis could also be pursued by a postdoc.

    2. Engineering position

      We sometimes have openings.

    3. Internships.

  • L3 internship “Perfect Matchings in the Powerset”, topic here
  • M2 internship (end-of-study internship) “Query-Directed Width Measures for Probabilistic Graph Homomorphisms, topic here. Can lead to a PhD position
  • On demand. Please contact us in case of interest and we see what we can do for you.

Future openings and their usual calendar.

  1. Permanent researcher positions at Inria.

    We always search excellent junior or senior researchers wanting to join in the Links’ project via Inria. The next opening is expected for January.

  2. Permanent researcher positions at CNRS.

    We search excellent junior or senior researchers wanting to join in the Links’ project via CNRS. The next opening is expected for December. Best contact us before the opening.

  3. Professorships and Assistant Professorships at the Université de Lille.

    The openings may happen yearly around February. Don’t wait and contact Links before the opening.

  4. Temporary researcher positions at Inria.

    Inria offers  researcher positions on junior ad senior levels. For the junior level see the Starting Research Positions. For the senior level see the Advanced research positions. The yearly deadline is typically around March. Please contact us earlier.

Permanent link to this article:

Equivalence of Tree Transducers

Subject Equivalence of Tree Transducers Location The position is open in the LINKS project-team at INRIA Lille. Supervisors Aurélien Lemay (Université de Lille, INRIA, Links),Sylvain Salvati (Université de Lille, INRIA, Links). Duration INRIA is financing 12 to 16 months of postdoc. The postdoc could be extended up to 24 months using the ANR colis fundings. …

Linux Packages and Tree Transducers

Linux Packages and Tree Transducers Abstract This project deals with verification of install and uninstall scripts for Linux distributions. We aim at formalizing scripts by tree tranduscers in order to verify static properties during their activity. For instance, we aim at checking whether the composition of the install and the uninstall script is equivalent to …

Safety of Data Transformations (SaDaT)

Abstract This project takes place within the context of the ANR project Colis. Its goal is to certify properties of transformations of data trees, such as the installation scripts for Linux distributions. In previous work, we developed algorithms that can automatically verify properties of top-down transducers on data trees. The main bottleneck of this approach …