|Salary:||From £35,931 per annum - including London Allowance|
|Placed On:||8th September 2021|
|Closes:||17th October 2021|
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:
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:
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: email@example.com
Please quote the reference: 0721-259-R
Closing Date: Midnight, 17 October 2021
Interview Date: TBC
Royal Holloway is committed to equality and diversity, and encourages applications from all sections of the community. Read here about structures and initiatives around equality and diversity, including information on staff diversity networks.
Type / Role: