Discover and read the best of Twitter Threads about #csphd
Most recents (2)
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….
#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.
#CSPhD #PhDposition in @ERC_Research and @Vetenskapsradet supported team to work on project “Enabling Reactive Synthesis through Runtime Verification” at @cse_gbg in @goteborgsuni/@chalmersuniv (Sweden). Official ad tiny.cc/gbgphd. Here is what you should really expect…
#Reactivesynthesis is like telling a robot what you would like it to do and automatically planning how to do it. #Runtimeverification follows programs through their execution to ensure they are correct. We will work on these. Theory and practice!
I am - and you will be - a member of the #FormalMethods unit, a smaller unit of about 20 people (PhDs, postdocs, faculty) working on topics like compiler verification, automated theorem proving, and #ModelChecking.
