Logic List Mailing Archive

Postdoctoral position on verification of concurrent systems, London (England), Deadline: 4 May 2020

Postdoctoral position on verification of concurrent systems via model 
learning, Royal Holloway University of London, Deadline: 4 May 2020

- Application deadline: Midnight, 04 May 2020
- Interview Date: To be confirmed
- Starting date: as soon as possible, flexible due to COVID-19; remote working options can be explored.
- Salary: £35,931-£37,979, including London allowance (grade 7, pay scales 31-33)
- Duration: 33 months

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).

This is a joint research endeavour involving Royal Holloway University of 
London, University College London, and ARM, world-leading designer of 
multi-core chips.

For an informal discussion about the post, please contact Dr. Matteo 
Sammartino on Matteo.Sammartino@rhul.ac.uk.

# Project Description

Digital devices increasingly rely on multi-threaded computation, with 
sophisticated concurrent behaviour becoming prevalent at any scale. As the 
complexity of these systems increases, there is a pressing need to 
automate the assessment of their correctness, especially with respect to 
concurrency-related aspects. Formal verification provides highly effective 
techniques to assess the correctness of systems. However, formal models 
are usually built by humans, and as such can be error-prone and 
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 systems.

- apply the framework to real-world verification tasks, in collaboration 
with ARM.

# The ideal candidate

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.

# Where to apply

https://jobs.royalholloway.ac.uk/vacancy.aspx?ref=0420-101
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam