1 education "University College London" Postdoctoral positions at ROYAL HOLLOWAY, UNIVERSITY OF LONDON in United Kingdom

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