[DMANET] Potential PhD position in parameterized complexity in Marseille, France

Dear all, We may have a PhD position at the LIS laboratory (Marseille, France). To fund the 3-year PhD position, we need to apply at the local PhD school: *  We have a *very high chance of success* (because the research team and the supervisors have a high priority). * It is *URGENT*, the deadline for applications is April 17, 2026. The successful candidate will work, under the supervision of Benjamin Bergougnoux <https://benjaminbergougnoux.github.io/> and Cyril Terrioux <https://pageperso.lis-lab.fr/cyril.terrioux/en/index.html>, on the parameterized complexity of satisfactions problems like CSP and SAT with the goal of explaining the impressive performances of modern solvers. A detailed description of the subject can be found here: https://benjaminbergougnoux.github.io/pdf/thesis_subject.pdf. The starting date would be October 2026. For applications and inquiries, please contact Benjamin Bergougnoux (benjamin.bergougnoux@lis-lab.fr <mailto:benjamin.bergougnoux@lis-lab.fr>). If you want to apply, join a curriculum vitae. Best regards, Benjamin Bergougnoux ********************************************************** * * 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/ * **********************************************************