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.

      Currently, we have the following openings:

      1. Safety of Data Transformations (SaDaT) (ANR CoLiS, contact: Sylvain Salvati, Aurélien Lemay
      2. Tree transducers for verifying the correctness of Linux installation scripts (ANR CoLiS, responsible: Joachim Niehren).
    2. 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 persued by a postdoc.

    3. Engineering position

      Shape Expression Schema Validation

      We are recruiting a Java developer for a period of two years whose main mission is to implement an open-source API for validating Shape Expression schemas as well as research prototypes for different related algorithms.

    4. Masters students and internships.

      Linux Packages and Tree Transducers

      There are different internships around the security in databases. These internships are for different levels (licence, master 1 and master 2). All of them are focus on the notion of control of access in the databases and leaking data. The following subject can give an overview of the problem Leaking Databases

We always have offers available, so 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. In 2016, there were 3 openings for junior researchers at Inria Lille and one opening for a senior researcher in Inria’s national competition. The application deadline was mid of February; the competitions is closed. The opening of the next competition is expected for begin of 2017.

  2. Permanent researcher positions at CNRS.

    We search excellent junior or senior researchers wanting to join in the Links’ project via CNRS. Begin of 2016 there were 6 junior researcher positions opened for all of France. The competition is closed. There are also senior researcher positions. The next opening is expected for December 2016.

  3. Professorships at the Universities of Lille.

    There was an opening of a professor position at the University of Lille 1 with a submission deadline begin of March 2016. The competition is running. Whether there will be an opening in 2017 is open. Note that the French “Qualification by the CNU” is needed for applying, which is given only once a year, usually with a deadline in december. There was no opening at the University of Lille 3 this year.

  4. Assistant Professorships at the Universities of Lille.

    This year there was an opening of an assistant professorship (maître de conférence) at the University of Lille 3, which is compatible with Links. The submission deadline 2016 was end of March 30.  Next year they may be new opening at both universities.

  5. Temporary researcher positions at Inria.

    Inria offers 3 years 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 deadline of the 2016 was begin of April. The competition is closed but will reopen 2017.

Permanent link to this article:

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 …