Postdoctoral Research Assistant

1 month ago

Egham, United Kingdom Royal Holloway, University of London Full time

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 Matteo.Sammartino@rhul.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: 0524-175

Closing Date:   23:59, 6 June 2024

Interview Date: To be Confirmed

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.

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.

£39,233 per annum - including London Allowance

  • Postdoctoral Research Assistant

    2 weeks ago

    Egham, United Kingdom Royal Holloway University of London Full time

    **Department of Mathematics**: **Location** Egham **Salary** £39,233 per annum - including London Allowance **Post Type** Full Time **Closing Date** 23.59 hours BST on Monday 24 June 2024 **Reference** 0624-193 Full-Time, Fixed-Term (until 31 August 2025) Applications are invited for the post of Postdoctoral Research Assistant in the Department of...

  • Postdoctoral Research Assistant

    3 weeks ago

    Egham, United Kingdom Royal Holloway University of London Full time

    **Department of Economics**: **Location**: - Egham**Salary**: - £39,233 per annum - including London Allowance- **Post Type**: - Full Time**Closing Date**: - 23.59 hours GMT on Sunday 25 February 2024**Reference**: - 0124-027Full Time, Fixed Term (36 months) Applications are invited for the post of Postdoctoral Research Assistant in the Department of...

  • Postdoctoral Researcher

    4 weeks ago

    Egham, Surrey, United Kingdom Royal Holloway, University of London Full time

    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 December 2025)An opportunity has arisen within the ERC New News team for the position of Postdoctoral...

  • Postdoctoral Researcher

    1 month ago

    Egham, United Kingdom Royal Holloway, University of London Full time

    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 December 2025) An opportunity has arisen within the ERC New News team for the position of...

  • Postdoctoral Researcher

    4 weeks ago

    Egham, United Kingdom Royal Holloway, University of London Full time

    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 December 2025) An opportunity has arisen within the ERC New News team for the position of...

  • Postdoctoral Researcher

    1 month ago

    Egham, Surrey, United Kingdom Royal Holloway, University of London Full time

    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 December 2025)An opportunity has arisen within the ERC New News team for the position of Postdoctoral...

  • Postdoctoral Research Assistant

    4 weeks ago

    Egham, Surrey, United Kingdom Royal Holloway, University of London Full time

    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...

  • Postdoctoral Research Assistant

    4 weeks ago

    Egham, United Kingdom Royal Holloway, University of London Full time

    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...

  • Postdoctoral Research Assistant

    1 month ago

    Egham, Surrey, United Kingdom Royal Holloway, University of London Full time

    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...

  • Postdoctoral Research Fellow

    2 weeks ago

    Egham, Surrey, United Kingdom Royal Holloway University of London Full time

    Department of Psychology:Location: EghamSalary:- £39,233 to £46,397 per annum - including London AllowancePost Type: Full TimeClosing Date:hours GMT on Thursday 29 February 2024Reference:Full-Time, Fixed-Term (12 months with the possibility of extension)Applications are invited for the post of Wellcome Trust funded Research Fellow in the Department of...

  • Postdoctoral Researcher, Department of Politics

    4 weeks ago

    Egham, United Kingdom ROYAL HOLLOWAY, UNIVERSITY OF LONDON Full time

    Department of Politics, International Relations and Philosophy Location: Egham Salary: £39,233 per annum - including London Allowance Post Type: Full Time Closing Date: 23.59 hours BST on Friday 07 June 2024 Reference: 0524-180 Right to work: Applications from job seekers who require sponsorship to work in the UK are welcome and will be...

  • Postdoctoral Researcher, Department of Politics

    4 weeks ago

    Egham, United Kingdom ROYAL HOLLOWAY, UNIVERSITY OF LONDON Full time

    Department of Politics, International Relations and Philosophy Location: Egham Salary: £39,233 per annum - including London Allowance Post Type: Full Time Closing Date: 23.59 hours BST on Friday 07 June 2024 Reference: 0524-180 Right to work: Applications from job seekers who require sponsorship to work in the UK are welcome and will be...

  • Postdoctoral Researcher, Department of Politics

    4 weeks ago

    Egham, Surrey, United Kingdom ROYAL HOLLOWAY, UNIVERSITY OF LONDON Full time

    Department of Politics, International Relations and PhilosophyLocation: EghamSalary: £39,233 per annum - including London AllowancePost Type: Full TimeClosing Date: 23.59 hours BST on Friday 07 June 2024Reference: Right to work: Applications from job seekers who require sponsorship to work in the UK are welcome and will be considered alongside all other...

  • Postdoctoral Researcher, Department of Politics

    2 weeks ago

    Egham, Surrey, United Kingdom ROYAL HOLLOWAY, UNIVERSITY OF LONDON Full time

    Department of Politics, International Relations and PhilosophyLocation: EghamSalary: £39,233 per annum - including London AllowancePost Type: Full TimeClosing Date: 23.59 hours BST on Friday 07 June 2024Reference: Right to work: Applications from job seekers who require sponsorship to work in the UK are welcome and will be considered alongside all other...

  • Postdoctoral Researcher, Department of Politics

    4 weeks ago

    Egham, Surrey, United Kingdom ROYAL HOLLOWAY, UNIVERSITY OF LONDON Full time

    Department of Politics, International Relations and PhilosophyLocation: EghamSalary: £39,233 per annum - including London AllowancePost Type: Full TimeClosing Date: 23.59 hours BST on Friday 07 June 2024Reference: Right to work: Applications from job seekers who require sponsorship to work in the UK are welcome and will be considered alongside all other...

  • Postdoctoral Research Fellow

    4 weeks ago

    Egham, United Kingdom Royal Holloway University of London Full time

    **Department of Psychology**: **Location**: - Egham**Salary**: - £39,233 to £46,397 per annum - including London Allowance**Post Type**: - Full Time**Closing Date**: - 23.59 hours GMT on Thursday 29 February 2024**Reference**: - 0224-053Full-Time, Fixed-Term (12 months with the possibility of extension) Applications are invited for the post of...

  • Postdoctoral Research Assistant, Department of Computer Science

    1 month ago

    Egham, United Kingdom ROYAL HOLLOWAY, UNIVERSITY OF LONDON Full time

    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...

  • Postdoctoral Research Assistant, Department of Computer Science

    4 weeks ago

    Egham, United Kingdom ROYAL HOLLOWAY, UNIVERSITY OF LONDON Full time

    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...

  • Postdoctoral Research Associate in Planetary Science

    2 weeks ago

    Egham, United Kingdom Royal Holloway University of London Full time

    **Department of Earth Science**: **Location** Egham **Salary** £39,233 to £46,397 per annum - including London Allowance **Post Type** Full Time **Closing Date** 23.59 hours BST on Sunday 30 June 2024 **Reference** 0624-188 Full time, Fixed Term (Until March 2027) Applications are invited for the post of Postdoctoral Research Associate in Planetary...

  • Postdoctoral Research Assistant, Department of Computer Science

    1 month ago

    Egham, Surrey, United Kingdom ROYAL HOLLOWAY, UNIVERSITY OF LONDON Full time

    Department of Computer ScienceLocation: EghamSalary: £39,233 per annum - including London AllowancePost Type: Full TimeClosing Date: 23.59 hours BST on Thursday 06 June 2024Reference: 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...