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/…
#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.
Read 8 tweets
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.
Read 7 tweets
#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.
Read 12 tweets

Related hashtags

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3.00/month or $30.00/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!