Another #CSPhD #PhDposition in @ERC_Research @Vetenskapsradet & @WASP_Research supported team to work on proj "Combining Path-finding Algorithms in Reactive Synthesis" at @cse_gbg in @chalmersuniv/@goteborgsuni. Some diffs from last thread... Apply here: chalmers.se/en/about-chalm….
https://twitter.com/n_pite/status/1403040811655352321
#Reactivesynthesis is still like telling a robot what you would like it to do and automatically getting program for how to do it. Path-finding is a #planning technique used in navigation, movement, games, and more. We will work on combining these. Still theory and practice!
Still at the #FormalMethods unit, Computing Science division, and Computer Science and Engineering (CSE) department. In this project, you will be employed at Chalmers University of Technology (but I am employed at the university of Gothenburg). CSE PhD rules are almost the same.
The project is @WASP_Research funded. You will belong to the WASP grad school wasp-sweden.org/graduate-schoo…. Part of your courses will be special WASP courses (Autonomous Systems/ML). You will be eligible for WASP activities (visiting universities or short-term research visits abroad).
Finally, Gothenburg was just chosen as one of the world's greatest places time.com/collection/wor… and I just had a first-hand experience of the wonderful Scandinavian summer. Used a ton of sun cream and accumulated lake swimming mileage ...
So get in touch if you want more information or directly apply here chalmers.se/en/about-chalm….
Still inspired by @AndreasZeller. @CClaudiacauli didn’t have to hold my hand.
@vardi @HeidyKhlaaf @FinkbeinerBernd @byroncook @rupakmajumdar @beyer_dirk @RoderickBloem @ahmedaley4
Still inspired by @AndreasZeller. @CClaudiacauli didn’t have to hold my hand.
@vardi @HeidyKhlaaf @FinkbeinerBernd @byroncook @rupakmajumdar @beyer_dirk @RoderickBloem @ahmedaley4
@threadreaderapp unroll
• • •
Missing some Tweet in this thread? You can try to
force a refresh
