Job description
We welcome applications from all qualified candidates regardless of nationality, ethnic origin, gender, sexual orientation, religion or belief, disability, or age. Selection is open, transparent, and merit-based.
About the E-CoRe project
E-CoRe (Energy-efficient Computing via Reversibility) is a Horizon Europe project funded under the Marie Skłodowska-Curie Actions Doctoral Networks. The project advances the science and practice of reversible computing for a sustainable digital future, training the next generation of experts to make computing sustainable. Energy is a main concern in society: IT accounts for an estimated 10% of global energy consumption. Reversible computing avoids the fundamental energy lower bound imposed by Landauer's principle by discarding no information. E-CoRe aims to set the stage for the Reversible Computing revolution by forming a community of experts who will improve and popularize reversible languages, algorithms and architectures — in energy-intensive applications such as machine learning, blockchains and drones. For the full project description, see: Project Description.
About the environment: University of Leicester
The University of Leicester is a leading UK research-intensive university with strengths in computer science, particularly in algorithms, data structures, and high-performance computing. The School of Computing and Mathematical Sciences offers a supportive research environment with strong industry links. Leicester is a diverse, affordable city in the heart of England with excellent transport links.
About the position topic
This doctoral position is part of Work Package 2: Reversible Algorithms. The successful candidate will work on Reversible Concurrent and Distributed Algorithms.
The DC will study what it means to reverse 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 DC will work with DC2 to develop a notation for reversible concurrent and distributed programs, assemble a toolbox of algorithms for message passing and shared memory, and implement examples in the reversible language developed by DC2.
For the full topic description, objectives, expected results, and planned secondments, see: Topic: Reversible Concurrent and Distributed Algorithms.
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.
Other requirements
- Master's degree (or equivalent) in computer science, mathematics, electrical engineering, or a closely related field, obtained by the recruitment date.
- Strong academic record and motivation for doctoral research.
- Proficiency in written and spoken English.
- Ability to work in an international, collaborative environment.
- Willingness to undertake secondments to other project partners as specified in the topic description.
Remuneration
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
Please click on the application link below to submit your application.