Apologies for duplicate emails.
Two PhD positions in distributed computing are open at Telecom Paris.
Large-scale distributed storage systems play an important role in the
modern world, and their consistent and efficient operation is crucial.
The prominent blockchain technology aims at implementing a public
”ledger”: a decentralized consistent history of transactions proposed by
an open set of participating processes, with no static membership. In a
static or properly reconfigurable system, the problem is typically
solved using consensus-based state-machine replication algorithms, such
as Paxos or PBFT. The crucial innovation of the Bitcoin protocol and its
successors was to achieve strong consistency in the face of an adversary
that can impersonate an arbitrary number of identities. The resulting
protocols are, however, notoriously slow and energy-demanding, and an
immediate question is whether these costs are unavoidable.
We intend to focus on consistency and scalablility of compositions of
blockchain-like systems. We intend to characterize the model
assumptions that enable generic blockchain interactions in a consortium
or an open system. We also plan to explore the space of consistency
definitions that enable generalizations of "cross-chain" transactions.
Besides establishing provable complexity and computability bounds, the
project intends to develop system prototypes that are not only formally
proved correct but also studied experimentally.
More details: https://perso.telecom-paris.fr/kuznetso/beco-phd.pdf
Located in the Paris area,Telecom Paris (formerly known as ENST or École
nationale supérieure des télécommunications) is one of the top French
public institutions of higher education and research (Grandes Écoles), a
founding member of Institut Polytechnique Paris. In collaboration with
EPFL, it has established Institut Eurécom at Sophia-Antipolis.
ELIGIBILITY and FORMALITIES
The positions are open for three years starting in 2019-2020.
The positions are offered to both foreign and French students who hold a
Master degree in computer science.Solid mathematical background, basic
knowledge of distributed algorithms, basic concurrent programming
skills, curiosity, persistence and taste for challenging problems are
To apply, please send the following documents:
- Curriculum Vitae
- Transcripts of undergraduate university grades
- Motivation letter from the applicant
to Petr Kuznetsov ([log in to unmask])