1 Computer Science "UNIVERSITY COLLEGE LONDON" positions at ROYAL HOLLOWAY, UNIVERSITY OF LONDON in England

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