Post-Doctoral Research Assistant, Department of Computer Science
- Employer
- ROYAL HOLLOWAY, UNIVERSITY OF LONDON
- Location
- Egham, United Kingdom
- Salary
- £37,467 per annum - including London Allowance
- Closing date
- 2 Mar 2023
View more
- Academic Discipline
- Computer Science, Engineering & Technology
- Job Type
- Academic Posts, Postdocs, Research Related, Research Assistants / Officers
- Contract Type
- Fixed Term
- Hours
- Full Time
Job Details
Location: Egham
Salary: £37,467 per annum - including London Allowance
This is the expected starting salary for this post however appointment at a higher point may be made for candidates who demonstrate exceptional skills and experience relevant to the role.
Post Type: Full Time
Closing Date: 23.59 hours GMT on Thursday 02 March 2023
Reference: 0922-411-R-R-R
Full-Time, Fixed-Term (until November 2023)
Starting Salary is £ £37,467 per annum (including London Allowance)*
*This is the expected starting salary for this post however appointment at a higher point may be made for candidates who demonstrate exceptional skills and experience relevant to the role.
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.
For 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-R-R-R
Closing Date: 23:59, 2 March 2023
Interview Date: To be confirmed
Company
One of the UK’s leading research-intensive universities.
Royal Holloway is one of the UK’s top 20 universities, ranked 129 globally (Times Higher Education World University Rankings, 2015-16). We sit within the top 25% of UK universities for research that is rated world leading or internationally recognised and at 89%, our 2015 National Student Survey satisfaction rating is the highest of the University of London institutions.
The university has 21 academic departments and schools spanning the arts and humanities, sciences, social sciences, management, economics and law. We combine our world-class research and excellence in teaching with a global perspective, creating a close-knit community that inspires success. With some 9,000 students learning from internationally renowned academics and researchers, ours is a unique culture, where our students and colleagues feel recognised as individuals. We have a unique best-of-both-worlds location; a safe, leafy campus in Egham, Surrey, less than 40 minutes by train from central London and just seven miles from Heathrow airport, creating the environment where our community thrives.
- Mini-site
- ROYAL HOLLOWAY, UNIVERSITY OF LONDON
- Telephone
- +(44)01784 434455
- Location
-
EGHAM HILL
EGHAM
SURREY
TW20 0EX
United Kingdom
Get job alerts
Create a job alert and receive personalised job recommendations straight to your inbox.
Create alert