We are looking for a good candidate for a PhD thesis on topics at the interface of Graph Theory, Database, and Logic. The thesis will be supervised by Mamadou M. KANTÉ and Bruno GUILLON, at LIMOS - CNRS, University of Clermont Auvergne (FRANCE). The project aims to study dynamic aspects of graphs, and, in particular, maintenance of graph decompositions — more details can be found in the below-linked document. Please feel free to contact us for details. The PhD may be preceded by an internship, starting as soon as possible, and possibly done remotely. In order to apply, candidates should send a CV as well two reference names by email to both Mamadou M. KANTÉ and Bruno GUILLON (see contact data below).
contact: <Mamadou.KANTE@uca.fr> and <Bruno.GUILLON@uca.fr>
detailed subject: https://drive.uca.fr/f/d4cf83eb9a7e495fbb95/
keywords: logic; dynamic algorithm; Dyn-FO; MSO; database; graph
application deadline: 15th of March, 2022
requirements: strong mathematical background, interest in the subject, basic knowledge in graph theory
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
