1 phd "UNIVERSITY COLLEGE LONDON" Postdoctoral positions at ROYAL HOLLOWAY, UNIVERSITY OF LONDON

Postdoctoral Research Assistant, Department of Computer Science

systems. apply the framework to real-world verification tasks, in collaboration with ARM. This is a joint research endeavour involving Royal Holloway University of London, University College London (Prof