Vacancy: Research Associate in Program Semantics and Verification at Imperial College London

Applications are invited for a Research Associate (postdoctoral) position at Imperial College London, UK, under the supervision of Dr Azalea Raad.

This is a two-year position, with the possibility to extend it further. The start date for the position is flexible within 2023. This post is funded by a generous UKRI fellowship (£1.5m), under the PERSEVERE project, and there will be opportunities to collaborate with other project partners, industrial as well as academic.
Job Reference ENG02801
Closing date 5 November 2023
To apply, please follow this link: https://www.imperial.ac.uk/jobs/description/ENG02801/research-associate-program-semantics-verification