PhD position at Chalmers in Combined Software Co-Piloting and Verification

There is a PhD position open at Chalmers University of Technology, Gothenburg, Sweden, on the topic of 'Combined Software Co-Piloting and Verification'. The announcement is linked here:
https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=11947&rmlang=SE
A vision paper related to this PhD project has been published here:
https://doi.org/10.1007/978-3-031-19849-6_11
The PhD student will be jointly supervised by Wolfgang Ahrendt ([email protected]) and Moa Johansson ([email protected]).