Analysis and verification of distributed multi-agent systems

Researcher with experience in the analysis and verification of distributed multi-agent systems.  Revelant topics include the use of formal  methods, concurrency theory, and game theory for the design, validation, testing and analysis of such systems, as well as synthesis of control and coordination mechanisms.

6 months

• A PhD in Computer Science or related areas;
• Candidates must have an excellent record of high-impact international publications and international collaborations;
• Knowledge of English, both written and spoken;