Discover and read the best of Twitter Threads about #FormalMethods
Most recents (3)
@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/…
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.
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.
