[Job-offers-cs] ERC funded Postdoc Position in Formal Methods at the University of Gothenburg

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] ERC funded Postdoc Position in Formal Methods at the 
University of Gothenburg
Date: Fri, 1 Nov 2019 17:04:32 +0100
From: Giuseppe Perelli <perelli.gi at gmail.com>
To: dmanet at zpr.uni-koeln.de

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 
temporal logic.

Details at
https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=5061