Thread by @n_pite

#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.

Our unit is part of the Computing Science division of the Computer Science and Engineering (CSE) department. We are based in Johanneberg campus, where you will join a group of 7 other PhD students in the unit, 25 in the division, and about 120 in the bigger department.

The CSE department is shared between the University of Gothenburg (GU) and Chalmers University of Technology. You will be an employee of GU. For the most part, this will not make much difference: in CSE most rules and regulations for doctoral students are the same!

You will be assigned a personal committee, made up by your main supervisor (me), second supervisor, and examiner, who will also join you to yearly follow-up meetings with a member of the CSE Graduate School.

In follow-up meetings, the committee, which includes people from outside your immediate research group, checks that you have all the support you need during your studies. Halfway through your PhD, you will also become eligible for a #licentiate degree -> tiny.cc/theLic

Besides doing your research, we will ask you to take on some teaching duties and to attend courses that are relevant both to your studies and to your personal development (aka GTS). These will take up about 1/5 each of your time here.

The working language at the department is English. If you do decide to learn Swedish, the university regularly offers language courses free of charge. But you can get along very well in Sweden speaking only English.

With your salary you pay tax and pension and benefit from the Swedish social system and healthcare. We can try to get for you a place to rent in university guest housing, if needed. @goteborgcom is the 2nd largest city in Sweden with 1mil inhabitants in the metropolitan area.

Swedish summer days are long and there are countless things you can do around Goteborg: hiking in the forests, biking along the coast, day-trips to the archipelago, visit the lakes, or just sightseeing in the centre. Use your summers wisely bc winters will be colder and cozy :)

So get in touch if you want more information or directly apply here tiny.cc/gbgphd.
Inspired by @AndreasZeller. First authored by @CClaudiacauli.
@vardi @HeidyKhlaaf @FinkbeinerBernd @byroncook @rupakmajumdar @beyer_dirk @RoderickBloem