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: A vision paper related to this PhD project has been published here: The PhD student will be jointly supervised by Wolfgang Ahrendt () and Moa Johansson ()