MENU
  • Online users : 1
  • Online employers : 0
  • Registered members : 5 015
  • Registered companies : 263 003
  • Jobs : 193 205
  • Resumes : 2 544










    Job details

Post-Doctoral Research adjunct:

Job description:

Job location: Egham
income: 35,931 per annum - including London Allowance
Hours: Full Time
Contract Type: Fixed-Term/Contract

Published in: 3rd December 2021
Closing date: 9th January 2022
Reference: 0721-259-R-R

 

 

Fixed Term (until February 2023)
Applications are invited for the post of Post-Doctoral Research adjunct in the Computer Science Department at Royal Holloway, University of London.
prosperous candidates will be workingunder the direction of Dr. Matteo Sammartinoon 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:
   » 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.
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 seeking for a postdoctoral researcher with a PhD in one of the following areas: model-located testing and verification, formal methods for concurrency, automated analysis of hardware systems. practice in multiple areas will be valued. Candidates ideally should also have strong? programming expertise.
In return we offer a highly competitive compensates 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 located 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, Contact Us by 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-R
Closing Date: Midnight, 9 January 2022
Interview Date: TBC
Furtherdetails: JobDescription PersonSpecification
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.

Skills:

Job Category:  [ View All Jobs ]
Language requirements:
Employment type:
Salary: Unspecified
Degree: Unspecified
Experience (year): Unspecified
Job Location: Egham, Surrey England
Address: Surrey
Company Type Employer
Post Date: 12/03/2021 / Viewed 10 times
Contact Information
Company:
Contact Email: Matteo.Sammartino@rhul.ac.uk


Apply Online