News and Events: Open Positions

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

Postdoctoral position on reactive synthesis, Gothenburg (Sweden)

Deadline: Monday 2 May 2022

We are looking for a postdoctoral researcher for a two-year position in the Department of Computer Science and Engineering at the University of Gothenburg to work with Professor Nir Piterman on Reactive Synthesis.

The position is part of the ERC Consolidator funded project "D-SynMA: 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 temporal and modal logic.

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