WHAT WE ARE LOOKING FOR

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.

AVAILABLE DOCUMENTS

Attached documents are available under links. Clicking a document link will initialize its download.
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities mentioned above.
We reserve the right to close the advert prior to the closing date stated should we receive a high volume of applications. It is therefore advisable that you submit your application as early as possible to avoid disappointment.
If you encounter any technical issues while applying online, please don’t hesitate to email us at support.jobs@imperial.ac.uk. We’re here to help.

ABOUT THE ROLE

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.

WHAT YOU WOULD BE DOING

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