Research Associate in Persistent Programming Verification

We are looking for a motivated Research Associate (postdoctoral in Persistent Programming Verification to work with Dr Azalea Raad in her “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 the 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 on functional programming randomised testing for persistent programs, equivalence checking and automated grading is highly desirable.

Please see job description for full list of requirements.

*Candidates who have not yet officially received their PhD will be appointed at Research Assistant level, salary range: £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 dedicated career support for researchers as well as opportunities for promotion and progression

• Sector-leading salary and remuneration package (including 39 days off a year and generous pension schemes).

The position is available a July 2025 start. This is a 12-month fixed term position with the possibility of extension.

In addition to completing the online application candidates should attach:

• A full CV, with a list of all publications
• A 1-page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant.

If you require any further details on the role please contact: Dr Azalea Raad, azalea.raad@imperial.ac.uk

For queries regarding the application process contact Jamie Perrins: j.perrins@imperial.ac.uk          

Attached documents are available under links. Clicking a document link will initialize its download.