25 May 2024
Job Information
- Organisation/Company
ROYAL HOLLOWAY, UNIVERSITY OF LONDON- Research Field
Computer science- Researcher Profile
Recognised Researcher (R2)
First Stage Researcher (R1)
Established Researcher (R3)- Country
United Kingdom- Application Deadline
6 Jun 2024 - 00:00 (UTC)- Type of Contract
Other- Job Status
Full-time- Is the job funded through the EU Research Framework Programme?
Not funded by an EU programme- Is the Job related to staff position within a Research Infrastructure?
No
Offer Description
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: Please note that it will not be possible for the University to issue a Certificate of Sponsorship to the successful candidate for this position. Therefore, the appointable candidate will need to be eligible to work in the UK or have leave to remain in the UK and associated right to work for the duration of their employment with the University, in accordance with the Immigration, Asylum and Nationality Act 2006. Full time, Fixed Term (10 Months)
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
Further details: Job Description & Person Specification
Requirements
Additional Information
Work Location(s)
- Number of offers available
- 1
- Company/Institute
- ROYAL HOLLOWAY, UNIVERSITY OF LONDON
- Country
- United Kingdom
- City
- Egham
- Geofield
Where to apply
- Website
https://www.timeshighereducation.com/unijobs/listing/373604/postdoctoral-resear…
Contact
- City
Egham
STATUS: EXPIRED
Similar Positions
-
Postdoctoral Researcher , ;, United Kingdom, 16 days ago
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 Vis...
-
Research Fellow In Verification Or Security Or Concurrent/Distributed Systems, University of Surrey, United Kingdom, 1 day ago
View All Vacancies Computer Science Location: Guildford Salary: £36,024 to £39,347 per annum depending on experience Fixed Term Contract until 28/02/27 Post Type: Full Time Closing Date: 23.59 h...
-
Postdoctoral Research Fellow , ;, United Kingdom, 16 days ago
Surrey Business School is a leading business school with over 120 academic staff members from around the globe, and a highly cohesive and collegial atmosphere. The School is accredited by AACSB, A...
-
Postdoctoral Research Fellow, University of Surrey, United Kingdom, 12 days ago
View All Vacancies Business Analytics and Operations Location: Guildford Salary: £18,012 per annum pro rata (0.5 FTE) Part time, Fixed term Post Type: Part Time Closing Date: 23.59 hours BST on ...
-
Mbio01 Research Assistant, University of West London, United Kingdom, about 7 hours ago
View All Vacancies School of Medicine and Biosciences Location: St Mary's Road Salary: £29,786 to £35,589 per annum Release Date: Friday 14 June 2024 Closing Date: Thursday 20 June 2024 Interview ...
-
Post Doctoral Research Fellow In The Decentralised Digital Economy (De Ca De), University of Surrey, United Kingdom, 1 day ago
View All Vacancies Digital Economy, Entrepreneurship & Innovation Location: Guildford Salary: £36,024 to £44,263 per annum depending on experience Fixed Term Contract until 30/09/2025 Post Type: ...