Skip to main content
This site requires the use of cookies as defined by our Terms and Conditions.  We have provided a detailed description of how cookies work and are used on the site.  To accept cookies, please click the "Accept Cookies" button.
logo
View All Vacancies

Post-Doctoral Research Assistant

Department of Computer Science

Location:  Egham
Salary:  £37,467 per annum - including London Allowance
Post Type:  Full Time
Closing Date:  23.59 hours BST on Saturday 15 October 2022
Reference:  0922-411

Full-Time, Fixed-Term (until November 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)

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

Project Description. The CLeVer project aims to develop novel verification methods for hardware systems, with a particular focus on important components such as CPUs, DRAMs, and similar. 

As the complexity of these systems increases, there is a pressing need to automate the assessment of their correctness. 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 will explore the use of model learning to automatically build and verify models of hardware behaviour. This research will be informed by our collaboration with ARM, world-leading designer of processors.

This is a joint research endeavour involving Royal Holloway University of London, University College London (Prof. Alexandra Silva), and ARM.

The ideal candidate. We are looking for a postdoctoral researcher with a PhD in one of the following areas: model-based testing and verification, model learning, 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. 

To view further details of this post and to apply please visit https://jobs.royalholloway.ac.ukFor queries on the application process the Human Resources Department can be contacted by email at: recruitment@rhul.ac.uk 

Please quote the reference: 0922-411

Closing Date:   23:59, 15 October 2022  

Interview Date: TBC

We particularly welcome female applicants as they are under-represented at this level in the Department of Computer Science within Royal Holloway, University of London.

Further details:    Job Description     Person Specification    
Email details to a friend

The university has adopted hybrid working for some roles therefore some remote working may be possible for this role.

Royal Holloway is committed to equality, diversity and inclusion (EDI), and encourages applications from all people regardless of age, disability, gender, marital status, parental status, race, religion or belief, sexual orientation, or trans status or history. More information on our structures and initiatives around EDI, including information on staff diversity networks, can be found on our Equality and Diversity Intranet page.


Login

Login

Forgotten Details

Register