Enable job alerts via email!

Research Associate in Persistent Programming Verification

TN United Kingdom

London

On-site

GBP 43,000 - 47,000

Full time

14 days ago

Boost your interview chances

Create a job specific, tailored resume for higher success rate.

An innovative opportunity awaits a motivated Research Associate in Persistent Programming Verification at a prestigious institution. This exciting role involves working on groundbreaking projects aimed at advancing the adoption of non-volatile memory in modern computing. Candidates will engage in research on topics such as persistent transactions and randomised testing, contributing to the development of rigorous foundations for safe computing. Join a world-leading team and benefit from excellent career progression opportunities, a competitive salary, and a generous benefits package, including ample vacation days and pension schemes. This is your chance to make a significant impact in the field of computer science.

39 days off a year

Generous pension schemes

Access to promotion opportunities

PhD in Computer Science or related field required.
Strong background in formal semantics, compilers, and verification.

Work on research topics around weak memory concurrency and consistency.
Develop scientific foundations for non-volatile memory adoption.

Formal Semantics

Compilers

Computer Architecture

Specification and Verification

Transactional Memory

Model Checking

Randomised Testing

Functional Programming

PhD in Computer Science

Social network you want to login/join with:

Research Associate in Persistent Programming Verification, London

Client:

Imperial College London

Location:

London, United Kingdom

Job Category:

Other

EU work permit required:

Yes

Job Reference:

a90dddb8a9fa

Job Views:

Posted:

13.04.2025

Expiry Date:

28.05.2025

Job Description:

We are looking for a motivated Research Associate (postdoctoral) in Persistent Programming Verification to work on the “PERSEVERE” project. The object of this UKRI funded Fellowship, PERSEVERE: A Rigorous Foundation for Persistent Verification, is to develop the scientific and engineering underpinnings necessary for safe and ubiquitous non-volatile memory (NVM) adoption in modern computing through rigorous, mathematical foundations.

The specific details of the project are flexible and will be determined based on the interests and strengths of the successful candidate, but you will be expected to work on research topics around weak memory concurrency, consistency, and persistency in the context of cutting-edge non-volatile memory (NVM) technology. Possible projects include:

Persistent transactions: transactional memory for NVM
Randomised testing for persistent programs
Correcting and optimising persistent code automatically

You will need to have, or expect shortly to obtain, a PhD in Computer Science or a closely related field, with a strong background in at least one of the following areas: Formal Semantics, Compilers, Computer Architecture, Specification and Verification, Transactional Memory, Model Checking, Correcting and optimising programs automatically, Randomised testing. Experience in functional programming randomised testing for persistent programs, equivalence checking, and automated grading is highly desirable.

*Candidates who have not yet officially received their PhD will be appointed at Research Assistant level, with a salary range of £43,003 - £46,297.

This is an exciting project, aiming to develop the scientific and engineering underpinnings necessary for safe and ubiquitous NVM adoption in modern computing.
The opportunity to continue your career at a world-leading institution and be part of our mission to continue science for humanity.
Grow your career: Gain access to Imperial’s sector-leading opportunities for promotion and progression.
Sector-leading salary and remuneration package (including 39 days off a year and generous pension schemes).

Get your free, confidential resume review.

or drag and drop a PDF, DOC, DOCX, ODT, or PAGES file up to 5MB.