PhD Position in Strategy Logics at Sorbonne Paris North University [FR]
Deadline: Sunday 15 November 2026
The objective of the thesis will be to investigate verification and synthesis methods for dynamic Multi-Agent Systems, based on formalisms such as the Alternating-time Temporal Logic. Directions explored will include designing efficient model-checking algorithms, determining their complexity bounds, and developing synthesis methods for computing repairs.
The student will conduct their thesis at the Paris North Computer Science Laboratory (LIPN). The expected starting date is March 2026 (negotiable). Applications should be sent directly to Munyque Mittelmann. Please don't hesitate to contact us for more information.
For more information, see
https://drive.google.com/file/d/1FA3QiRzyxmYSjENumpKQCjLYgcHLkG5g/view?usp=sharing
or contact Munyque Mittelmann at mittelmann at lipn.univ-paris13.fr.