[DL] ERC funded Postdoc Position in Formal Methods (Distributed Synthesis) - University of Gothenburg/Chalmers, Sweden

[Nir Piterman]

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
Distributed Synthesis.

The position is part of 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
temporal and modal logic.

Specifically, research will focus on the following objectives:
·      Consider modelling frameworks that combine message passing and
variable sharing allowing for synchronization as well as passage of
information.
·      Work on algorithmic analysis of games that arise from
combinations of multiple agents supporting rich modelling features.
This includes analysis of partial information games and applications
of abstraction and compositionality to games analysis.
·      Study specification languages that allow to reason about how
agents interact as well as what are their goals. Algorithmically
analyse games that arise from such specifications.

Feel free to contact me for further details.

Further details about application are here:
https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=23207