PhD Student in AI – Dynamic Logic for Compliant Multi-Agent Planning

This PhD position at the Institut de Recherche en Informatique de Toulouse (IRIT) focuses on developing formal and conceptual foundations for dynamic logic in AI planning. The project aims to advance multi-agent systems capable of reasoning about beliefs, intentions, and unexpected outcomes while integrating knowledge representation and machine learning. The successful candidate will contribute to cutting-edge research in AI planning, publish findings in international conferences, and collaborate within IRIT’s AI department. Ideal for researchers with expertise in knowledge representation or learning, eager to apply their skills to complex planning challenges.

• Develop formal and conceptual foundations for dynamic logic in AI planning, focusing on multi-agent systems with epistemic reasoning capabilities.
• Integrate knowledge representation and machine learning techniques to enhance adaptive planning and decision-making in complex environments.
• Propose and implement research projects related to the integration of beliefs, intentions, and unexpected outcomes in AI planning frameworks.
• Present research findings at national and international conferences and departmental seminars.
• Collaborate with the AI department at IRIT to advance research in knowledge representation and reasoning.