View All Vacancies
Department of Computer Science
Location
Egham
Salary
£39,233
per annum - including London Allowance
Post Type
Full Time
Closing Date
23.59 hours BST on Thursday 06 June 2024
Reference
0524-175
Right to work: Applications from job seekers who require sponsorship to work in the UK are welcome and will be considered alongside all other applications. For further information visit the UK Visas and Immigration website .
Full time, Fixed Term (Until March 2025)
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:
- 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 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:
- 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 an informal discussion about the post, please contact Dr. Matteo Sammartino on [email protected]
For queries on the application process the Human Resources Department can be contacted by email at: [email protected]
Please quote the reference: 0524-175
Closing Date: 23:59, 6 June 2024
Interview Date: To be Confirmed
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 .
Similar Positions
-
Research Assistant , ;, United Kingdom, 16 days ago
Location / Campus: Hammersmith Campus - On site only Job Summary Applications are invited for a Laboratory Research Assistant to join Prof. Nick Powell’s group within the Department of Metabolism,...
-
Research Assistant Or Associate In Mathematical Modelling , ;, United Kingdom, 27 days ago
Salary: £41,694 to £44,888 (Assistant), £46,593 to £54,630 (Associate) Location: White City Campus Job Summary An exciting new opportunity has arisen for an early career researcher to join the MRC...
-
Postdoctoral Research Assistant In "Data Driven Models For Reactive Flows" , ;, United Kingdom, 1 day ago
About the Role The overall objective of the project is to develop a reduced-order surrogate model for predicting the ammonia direct injection spray characteristics using hybrid machine learning ap...
-
Postdoctoral Fellow Downward Lab , ;, United Kingdom, 5 days ago
Location: The Francis Crick Institute, Midland Road, London Short summary Julian Downward’s laboratory (Oncogene Biology) investigates the mechanisms by which mutant oncogenes drive the formation ...
-
Postdoctoral Research Assistant , ;, United Kingdom, 22 days ago
About the Role We invite applications for the position of Postdoctoral Research Assistant (PDRA) in the School of Mathematical Sciences for the project “An ‘Erlangen Programme’ for AI ”, funded by...
-
Postdoctoral Research Associate, Climavore X Jameel At Rca, Water Buffalo Commons Project (0.4 Fte, Maternity Cover), Royal College of Art, United Kingdom, 24 minutes ago
The Royal College of Art is a dynamic institution with a rich history and a global reputation for excellence in art and design education. Join our team and contribute to the success of The Royal C...