Post-doctoral Research Assistant - Egham, United Kingdom - Royal Holloway University of London
Description
Department of Computer Science:
Location:
- Egham
Salary:
Post Type:
- Full Time
Closing Date:
hours GMT on Friday 20 January 2023
Reference:
R-RFull-Time, Fixed-Term (until November 2023)
- Starting Salary is _£_ _£37,467 per annum (including _London Allowance)*_
Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London.
EP/S028641/1).
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.
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.
Please quote the reference
:
R
Closing Date
: 23:59, 20 January 2023
Interview Date
:
TBC
- We particularly welcome female applicants as they are underrepresented at this level in the Department of Computer Science within Royal Holloway, University of London._
Further details:
- Job Description Person Specification
- The university has adopted hybrid working for some roles therefore some remote working may be possible for this role.
More jobs from Royal Holloway University of London
-
Research Assistant
Egham, United Kingdom - 2 weeks ago
-
Postdoctoral Research Assistant
Egham, United Kingdom - 2 weeks ago
-
Research Services Officer
Egham, United Kingdom - 1 week ago
-
Research Assistant
Egham, United Kingdom - 3 weeks ago
-
Accounts Assistant
Egham, United Kingdom - 5 days ago
-
Teaching Fellow
Egham, United Kingdom - 1 week ago