PhD student position in enabling reactive synthesis, Goeteborg (Sweden)

There is an open PhD position (5 years) in the department of Computer Science and Engineering at the University of Gothenburg/Chalmers, Sweden. The student will work on the project "Enabling Reactive Synthesis through Runtime Verification? with Professor Nir Piterman. The student will join a team supported by an ERC Consolidator grant and the Swedish research council (VR).

Research scope: formal methods, reactive synthesis, runtime verification, automata, games, temporal logics.