Postgraduate research

Reversible Concurrent and Distributed Algorithms

Qualification: PhD

Department: School of Computing and Mathematical Sciences

Application deadline: 25 May 2026

Start date: 1 October 2026

Overview

MSCA Doctoral Network funded by the European Union's Horizon Europe research and innovation programme under Marie Skłodowska-Curie Actions grant agreement. 

Supervisors: 

The aim of this PhD research is twofold. First, this project will study what it means, and how, to reverse concurrent (e.g., non-blocking algorithms with compare-and-swap) and distributed algorithms (e.g., atomic commit and leader election). The Doctoral Candidate (DC) on this project will first work with DC 2 (see details of DC 2 at https://e-core.nws.cs.unibo.it/offers to develop a notation for reversible concurrent and distributed programs, and then focus on the algorithmic aspects. A toolbox of concurrent and distributed algorithms for both the message passing and shared memory approach will be assembled, and example algorithms will be implemented in the reversible language with concurrency and distribution developed by DC 2.

The expected outcomes of this PhD are 1) Notation for concurrency and distribution features of reversible algorithms; 2) Reversible versions of relevant concurrent and distributed algorithms; 3) Library of implemented concurrent and distributed algorithms.

There are strict mobility rules for applicants applying for this PhD: Candidates cannot have spent more than 12 months of the last 36 months in the UK.

TO APPLY
It is important to carefully read the advice at  https://e-core.nws.cs.unibo.it/offers/67

Submit your application using this link  https://e-core.nws.cs.unibo.it/application/apply/67

Funding

Funding

The remuneration is based on the MSCA Doctoral Network researcher allowances:

  • Living allowance: €5,682.17 per month (standard amount of €4,010 per month adjusted by country correction coefficient of the host country to match local cost of living)
  • Mobility allowance: €710 per month
  • Family allowance: €660 per month (if eligible, e.g. researcher with dependent spouse and/or children)

The exact net salary depends on compulsory social security contributions and taxes according to national law, which vary by host country, and may also depend on your personal circumstances, including additional income.

How to apply

How to apply

Follow the advice at https://e-core.nws.cs.unibo.it/offers/67

Eligibility

Eligibility

MSCA Doctoral Candidate eligibility criteria
To be eligible, you must satisfy all of the following conditions at the date of recruitment:

Doctoral candidate status: You must not hold a doctoral degree. Researchers who have successfully defended their doctoral thesis but have not yet formally been awarded the doctoral degree are not eligible.

Mobility rule: You must not have resided or carried out your main activity (work, studies, etc.) in United Kingdom for more than 12 months in the 36 months immediately before the recruitment date. For more information about this refer to this link.

Nationality: Researchers of any nationality may apply.

Back to top
MENU