Logic List Mailing Archive

Postdoctoral position on verification via model learning, London (England), Deadline: 17 Oct 2021

Royal Holloway
University of London
Post-Doctoral Research Assistant
Department of Computer Science

https://jobs.royalholloway.ac.uk/Vacancy.aspx?ref=0721-259-R

Location:  	Egham
Salary:  	GBP 35,931 per annum - including London Allowance
Post Type:  	Full Time
Closing Date:  	23.59 hours BST on Sunday 17 October 2021
Reference:  	0721-259-R

Full-Time, Fixed Term (until February 2023)

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 under the direction of Dr. Matteo 

Sammartino on the EPSRC-funded "Verification of Hardware Concurrency via 

Model Learning" (CLeVer) project (EP/S028641/1).

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:

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.

2.  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. Alexandra Silva), and ARM, 

world-leading designer of multi-core chips.

The ideal candidate. We are looking for a postdoctoral researcher 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.

In return we offer a highly competitive rewards and benefits package 

including:

     Generous annual leave entitlement
     Training and Development opportunities
     Pension Scheme with generous employer contribution
     Various schemes including Cycle to Work, Season Ticket Loans and help 

with the cost of Eyesight testing.
     Free parking

The post is based in Egham, Surrey where the College is situated in a 

beautiful, leafy campus near to Windsor Great Park and within commuting 

distance from London.

For an informal discussion about the post, please contact Dr. Matteo 

Sammartino on Matteo.Sammartino@rhul.ac.uk

To view further details of this post and to apply please visit 

https://jobs.royalholloway.ac.uk. For queries on the application process 

the Human Resources Department can be contacted by email at: 

recruitment@rhul.ac.uk

Please quote the reference: 0721-259-R
--
[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