[DMANET] PhD thesis and Master intership position in Clermont-Ferrand (FRANCE) on dynamic graphs

Dear all,

We are looking for a good candidate for a Master internship and PhD thesis on topics at the interface of Graph Theory, Database, and Logic. The thesis will be supervised by Mamadou M. KANTE 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 below. The internship might be done remotely. Please feel free to contact us for details and applications.

contact: <Mamadou.KANTE@uca.fr> and <Bruno.GUILLON@uca.fr>
detailed subject: http://fc.isima.fr/~kante/cours/kante-guillon-dynfo-en.pdf
keywords: logic; dynamic algorithm; Dyn-FO; MSO; database; graph
application deadline: 1st of May, 2021
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/
*
**********************************************************