E-CoRe PhD Positionのご案内
0 views
Skip to first unread message
結縁祥治
Apr 24, 2026, 7:33:46 AMApr 24
to ipsj-pro...@googlegroups.com
PRO関係各位：
名古屋大学の結縁です．
レスター大学のIrek Ulidwoski先生から以下の「可逆計算に基づく省電力計算」に
関する博士学位プログラムの案内がありました．国籍に関係なく応募が可能です．
詳細については以下のURLをご参照ください．
（もし上記のwebの内容についてご質問等がありましたら，私かUlidowski先生
irekul...@gmail.com までお問い合わせください．）
よろしくお願いします．
=========================================================
Subject: E-CoRe PhD Positions
Dear Colleagues,
The E-CoRe project (Energy-efficient Computing via Reversibility), funded by the European Union's Horizon Europe programme under the Marie Skłodowska-Curie Actions, invites applications for 13 PhD positions in reversible computing and energy-efficient systems, distributed across Europe (Italy, Denmark, UK, Poland, and France).
We welcome applications from all qualified candidates and are committed to equal opportunity and inclusion in our recruitment. Applicants should, however, satisfy the mobility rule: they should not have lived or worked in the hiring country for more than 1 year in the last 3 years.
Deadline: **** May 25, 2026 ****
About E-CoRe
E-CoRe (Energy-efficient Computing via Reversibility) advances the science and practice of reversible computing for a sustainable digital future. The project sets the stage for the Reversible Computing revolution by training the next generation of experts to make computing sustainable.
Energy is a main concern in current society. Limited natural resources and high production costs lead to energy shortages, and energy consumption causes complex and undesirable phenomena such as pollution and global warming. IT accounts for a surprisingly large fraction of global energy consumption; estimated at 10%.
Hence, energy efficiency in computing is a critical and necessary research area, often called green computing. The laws of physics (Landauer's principle in particular) fix a lower bound of the amount of energy needed to perform an irreversible computation, proportional to the number of discarded bits of information. Classical computing discards large amounts of information (e.g. x:=0 on 64 bits discards 64 bits), while reversible computing (RC) discards none, avoiding Landauer's lower bound. Although the fraction of energy lost due to Landauer's principle is currently very small, it will become increasingly relevant as hardware technology improves.
E-CoRe aims at setting the stage for the RC revolution by forming a community of experts with deep understanding of RC, who will improve and popularise RC languages, algorithms and architectures; in particular in energy intensive applications such as machine learning, blockchains and computer vision for drones.
The project is structured into 4 work packages and 13 PhD Topics:
Work Package 1- Reversible Programming Languages
1. Reversible Programming Languages (University of Copenhagen, Denmark)
2. Concurrency and Distribution in Reversible Languages (University of Bologna, Italy)
3. Formal Verification Techniques for Reversible Languages (CNRS / Université Côte d'Azur, France)
Work Package 2- Reversible Algorithms
4. Reversible Sequential General-Purpose Algorithms (AGH University, Krakow, Poland)
5. Reversible Concurrent and Distributed Algorithms (University of Leicester, UK)
6. Partially Reversible Algorithms (University of Bologna, Italy)
Work Package 3- Compilation & Architectures
7. Compilation Principles and Techniques for Reversible Languages (University of Copenhagen, Denmark)
8. Design and Simulation of Adiabatic Architectures (University of Manchester, UK)
9. Design and Simulation of Reversible Neuromorphic Architectures (University of Manchester, UK)
10. Realisation of Energy-Efficient Custom Adiabatic Circuits (University of Southern Denmark, Denmark)
Work Package 4- Applications
11. Energy Efficiency in Blockchains (University of Bologna, Italy)
12. Energy Efficiency in Cyber-Physical Systems (University of Southern Denmark, Denmark)
13. Energy Efficiency in Machine Learning (AGH University, Krakow, Poland)
Why to Apply
Work across Europe with leading institutions in reversible computing. Contribute to sustainable computing and energy efficiency. Benefit from secondments and international collaboration. Competitive salary and conditions under Marie Skłodowska-Curie Action rules.
Further Information and Applications
Full topic descriptions, eligibility criteria, and application instructions are available at
https://e-core.nws.cs.unibo.it
Dear Colleagues,
The E-CoRe project (Energy-efficient Computing via Reversibility), funded by the European Union's Horizon Europe programme under the Marie Skłodowska-Curie Actions, invites applications for 13 PhD positions in reversible computing and energy-efficient systems, distributed across Europe (Italy, Denmark, UK, Poland, and France).
We welcome applications from all qualified candidates and are committed to equal opportunity and inclusion in our recruitment. Applicants should, however, satisfy the mobility rule: they should not have lived or worked in the hiring country for more than 1 year in the last 3 years.
Deadline: **** May 25, 2026 ****
About E-CoRe
E-CoRe (Energy-efficient Computing via Reversibility) advances the science and practice of reversible computing for a sustainable digital future. The project sets the stage for the Reversible Computing revolution by training the next generation of experts to make computing sustainable.
Energy is a main concern in current society. Limited natural resources and high production costs lead to energy shortages, and energy consumption causes complex and undesirable phenomena such as pollution and global warming. IT accounts for a surprisingly large fraction of global energy consumption; estimated at 10%.
Hence, energy efficiency in computing is a critical and necessary research area, often called green computing. The laws of physics (Landauer's principle in particular) fix a lower bound of the amount of energy needed to perform an irreversible computation, proportional to the number of discarded bits of information. Classical computing discards large amounts of information (e.g. x:=0 on 64 bits discards 64 bits), while reversible computing (RC) discards none, avoiding Landauer's lower bound. Although the fraction of energy lost due to Landauer's principle is currently very small, it will become increasingly relevant as hardware technology improves.
E-CoRe aims at setting the stage for the RC revolution by forming a community of experts with deep understanding of RC, who will improve and popularise RC languages, algorithms and architectures; in particular in energy intensive applications such as machine learning, blockchains and computer vision for drones.
The project is structured into 4 work packages and 13 PhD Topics:
Work Package 1- Reversible Programming Languages
1. Reversible Programming Languages (University of Copenhagen, Denmark)
2. Concurrency and Distribution in Reversible Languages (University of Bologna, Italy)
3. Formal Verification Techniques for Reversible Languages (CNRS / Université Côte d'Azur, France)
Work Package 2- Reversible Algorithms
4. Reversible Sequential General-Purpose Algorithms (AGH University, Krakow, Poland)
5. Reversible Concurrent and Distributed Algorithms (University of Leicester, UK)
6. Partially Reversible Algorithms (University of Bologna, Italy)
Work Package 3- Compilation & Architectures
7. Compilation Principles and Techniques for Reversible Languages (University of Copenhagen, Denmark)
8. Design and Simulation of Adiabatic Architectures (University of Manchester, UK)
9. Design and Simulation of Reversible Neuromorphic Architectures (University of Manchester, UK)
10. Realisation of Energy-Efficient Custom Adiabatic Circuits (University of Southern Denmark, Denmark)
Work Package 4- Applications
11. Energy Efficiency in Blockchains (University of Bologna, Italy)
12. Energy Efficiency in Cyber-Physical Systems (University of Southern Denmark, Denmark)
13. Energy Efficiency in Machine Learning (AGH University, Krakow, Poland)
Why to Apply
Work across Europe with leading institutions in reversible computing. Contribute to sustainable computing and energy efficiency. Benefit from secondments and international collaboration. Competitive salary and conditions under Marie Skłodowska-Curie Action rules.
Further Information and Applications
Full topic descriptions, eligibility criteria, and application instructions are available at
https://e-core.nws.cs.unibo.it
Reply all
Reply to author
Forward
0 new messages