Dear all,
The LINKS team at Inria Lille is currently seeking PhD candidates to work on
the topic of “Query-Directed Width Measures for Probabilistic Databases”. More
information on the PhD subject and the context follows.
Please circulate this offer to potential candidates and colleagues who are
looking for PhD positions (and don't hesitate to contact us to ask any
questions if you are interested).
PhD topic.
We are interested in designing algorithms for query evaluation over uncertain
data. The typical tasks are the following: given as input a query and a
probabilistic database, compute the probability that the data satisfies the
query, or compute provenance information that can help explain the query
results. The complexity of these problems has so far mostly been studied from
two different angles: the first one is to fix the query and to not restrict the
shape of the data, while the second one is to restrict to databases of a
certain shape (e.g., bounded treewidth), which allows for more queries to be
tractable. The goal of this PhD is to develop algorithms and techniques that
combine both approaches. More details can be found here:
https://a3nm.net/work/research/offers/thesis_proposal_query.pdf
Advisors and context.
The PhD will be carried out in LINKS, which is a joint research team between
Inria Lille, the University of Lille, and the CRIStAL laboratory. It will be
supervised by Sylvain Salvati and co-supervised by Mikaël Monet and Antoine
Amarilli. Mikaël Monet (https://mikael-monet.net/) is an Inria full-time
researcher in LINKS working on theoretical aspects of uncertain data
management, knowledge compilation, and formal explainability. Antoine Amarilli
(https://a3nm.net/) is an associate professor at Télécom Paris and works on
database theory, knowledge compilation, and enumeration complexity. Sylvain
Salvati (https://pro.univ-lille.fr/sylvain-salvati) is a professor in LINKS
working on formal methods and programming languages.
Candidates.
Candidates to this PhD proposal should have a good background in the following
areas of computer science: discrete mathematics, complexity theory, formal
languages, logic, and databases.
To apply, simply email us at [email protected] and [email protected] !
Best regards,
--
Mikaël Monet