Logic List Mailing Archive

Postdoctoral position in distributed synthesis, Gothenburg (Sweden)

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.

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

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam