Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Postdoctoral position in Formal Methods (distributed synthesis), Gothenburg (Sweden)

Deadline: Thursday 19 March 2020

A Postdoc position is available to work on the ERC Consolidator funded project 'dSynMA: Distributed Synthesis from Single to Multiple Agents'.

The aims of the project are to develop theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of automata and temporal and modal logic.

Please note that this newsitem has been archived, and may contain outdated information or links.