[DL] PhD funding opportunity in database theory in Inria Lille [deadline April 29]

[Antoine Amarilli]

Dear DL community,

The LINKS team at Inria Lille in France currently has a funding
opportunity for one PhD candidate to work on a database theory topic
related to knowledge bases, “Query-Directed Width Measures for
Probabilistic Databases”, at the interplay between database theory,
graph theory, counting complexity, formal languages, and logic. The
LINKS team offers a dynamic environment for research in this area and a
friendly atmosphere. Applications are open until April 29, and the
contract would start in fall 2024. 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 mikael.monet at inria.fr and a3nm at a3nm.net !

Best regards,

-- 
Antoine Amarilli

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20240417/d31d8567/attachment-0001.sig>