> Academic opportunities > PHD positions

Dependable Smart Contracts: Languages and Methodologies for Trusted Programming in the Blockchain

Technological challenge: Cyber security : hardware and sofware (learn more)

Department: Département Ingénierie Logiciels et Systèmes (LIST)

Laboratory: Lab.systèmes d'information de confiance, intelligents et auto-organisants

Start Date: 01-09-2022

Location: Saclay

CEA Code: SL-DRT-22-0675

Contact: alvaro.garciaperez@cea.fr

Smart contracts have become the new paradigm for the development of trusted and decentralized services, which span over a multitude of domains of activity. The Ethereum blockchain has become the most widespread platform for smart contracts, despite the fact that it presents a number of vulnerabilities that have resulted in huge loss of economic worth. The technology behind smart contracts has reached a relative maturity. Many techniques for testing Ethereum smart contracts exist, and other blockchains have been introduced whose languages of smart contracts are amenable to formal verification. However, research on smart contracts is still in its youth, and a widely applicable framework for formal verification of smart contracts is missing. This thesis has two objectives: 1) pushing the boundaries on the formal verification techniques for smart contracts by exploring languages and execution models with rich features, and 2) proposing a methodology for trusted programming in the blockchain that makes those verification techniques widely applicable.

See all positions Download the offer (.zip)

Email Bookmark and Share