1 education Postdoctoral research jobs at ROYAL HOLLOWAY, UNIVERSITY OF LONDON in United-Kingdom

Postdoctoral Research Assistant, Department of Computer Science

inaccurate. The CLeVer project aims to: develop a novel verification framework that relies on learning techniques to automatically build and verify models of concurrency, with a particular focus on multi-core