News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Postdoctoral position on verification of concurrent systems, London (England)

Deadline: Sunday 17 October 2021

Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London.

Successful applicants will be working on the EPSRC-funded "Verification of Hardware Concurrency via Model Learning" (CLeVer) project (EP/S028641/1), led by Alexandra Silva (UCL) and Matteo Sammartino (Royal Holloway, University of London). The CLeVer project aims to: (1) 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 systems and (2) apply the framework to real-world verification tasks, in collaboration with ARM. This is a joint research effort involving Royal Holloway University of London, University College London, and ARM, world-leading designer of multi-core chips.

We are looking for candidates with a PhD in one of the following areas: model-based testing and verification, formal methods for concurrency, automated analysis of hardware systems. Experience in multiple areas will be valued. Candidates ideally should also have strong programming skills

For more information, see https://jobs.royalholloway.ac.uk/0721-259-R or contact Dr. Matteo Sammartino at .

Please note that this newsitem has been archived, and may contain outdated information or links.