Thread by @n_pite

@ERC_Research supported #postdoc #postdocposition in project "DSynMA: Distrubuted Synthesis from Single to Multiple Agents" at @cse_gbg in @chalmersuniv/@goteborgsuni.
Want to know what's it going to be like in our group / university / city?
Apply here: web103.reachmee.com/ext/I005/1035/…

#Reactivesynthesis is like telling a robot what you would like it to do and automatically getting program for how to do it. Work on things like temporal logic, two-player games, modelling of agents, strategic analysis? All are relevant to our work on foundations of synthesis.

You will be part of the #FormalMethods unit, Computing Science division, and Computer Science and Engineering (CSE) department. The department is shared between the University of Gothenburg & Chalmers University of Technology. The employment is at the University of Gothenburg.

Group has 4 postdocs and 2 PhD students (supported by @WASP_Research & @Vetenskapsradet). Daniel cse.chalmers.se/~hausmann/ Mathieu mathieulehaut.org Mauricio gu.se/en/about/find-…, & Shaun shaunazzopardi.github.io. We work closely w Yehia@the FM unit lazkany.bitbucket.io

The working language @cse_gbg is English. If you decide to learn Swedish, the @goteborgsuni offers free language courses. But you can get along very well in Sweden speaking only English. Besides doing research, we may ask you to take on teaching duties up to 20% of your time.

Gothenburg was recently chosen as one of the world's best places time.com/collection/wor….
It has exciting opportunities: hiking in the forests, biking along the coast, day-trips to the archipelago, visit the lakes, or just sightseeing in the centre. Winters are cold and cozy :)

So get in touch if you want more information or directly apply here
web103.reachmee.com/ext/I005/1035/…
Inspired by @AndreasZeller, @Anne_Kreft, and @CClaudiacauli.
@vardi @HeidyKhlaaf @FinkbeinerBernd @byroncook
@rupakmajumdar @beyer_dirk @RoderickBloem @ahmedaley4

@threadreaderapp unroll