Postdoc Position in Verification of Multi-Agent Systems at Télécom Paris, Palaiseau (France)

Télécom Paris has a position for a post-doctoral fellow in formal verification of multi-agent systems. The postdoc will work in the team called ACES, part of the Computer Science and Networks Department, part of the LTCI laboratory. The postdoc will be supervised by Vadim Malvone, associate professors in the ACES team, 

The research project is titled "Study the impact of natural strategies in decision problems" (keywords: Formal Verification, Model Checking for Multi-Agent Systems, Game Theory).  The aim of this project is divided into two main steps: - Study decision problems for natural strategies and analyze their comp utational complexity. - Develop a tool capable of providing answers to decision problems on n atural strategies. Profile and skills required: PhD in computer science, mathematics, or related fields, Strong computer science and/or mathematical background (with particular a ttention on formal methods and logic), Good programming skills, and Good level in written and spoken English.