<div dir="ltr"><div>University of Gothenburg <br></div><div><br></div><div>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.</div><div><br></div><div>

<p style="color:rgb(72,72,72);font-family:Verdana,Arial,Helvetica,sans-serif;font-size:12px;line-height:normal;margin:0px 0px 15px;padding:0px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">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.</p><p style="color:rgb(72,72,72);font-family:Verdana,Arial,Helvetica,sans-serif;font-size:12px;line-height:normal;margin:0px 0px 15px;padding:0px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial">Specifically, research will focus on the following objectives:</p><ol style="color:rgb(72,72,72);font-family:Verdana,Arial,Helvetica,sans-serif;font-size:12px;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial"><li style="list-style-position:outside;color:rgb(72,72,72);font-family:Verdana,Arial,Helvetica,sans-serif;font-size:12px;line-height:normal">Consider modelling frameworks that combine message passing and variable sharing allowing for synchronization as well as passage of information.</li><li style="list-style-position:outside;color:rgb(72,72,72);font-family:Verdana,Arial,Helvetica,sans-serif;font-size:12px;line-height:normal">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.</li><li style="list-style-position:outside;color:rgb(72,72,72);font-family:Verdana,Arial,Helvetica,sans-serif;font-size:12px;line-height:normal">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.</li></ol><div>Further details about application are here:</div><div><a href="https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=18711&fbclid=IwAR3gaWXEiV5Ru9sGgitC44nw_vFl8LUok4sger1wybg6tUref_P7B945STo">https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=18711&fbclid=IwAR3gaWXEiV5Ru9sGgitC44nw_vFl8LUok4sger1wybg6tUref_P7B945STo</a></div>

</div></div>