Two PhD positions in Formal Methods for Smart Contracts at Chalmers & Univ. of Gothenburg

by Gerardo Schneider, March 17, 2020

The Department of Computer Science and Engineering at Chalmers and the University of Gothenburg invites applications for two PhD positions in the Formal Methods division. The research will focus on smart contracts, computer programs running on the blockchain.

The Department of Computer Science and Engineering at Chalmers and the University of Gothenburg invites applications for two PhD positions in the Formal Methods division. The research will focus on smart contracts, computer programs running on the blockchain, intended to digitally facilitate the performance of a contract between all parties which choose to engage with it.


One of the positions is devoted to methods for specifying smart contracts, and on that basis verify, with high automation and with mathematical certainty, whether a smart contract meets this intention and does not allow malicious attacks. 

See https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=8413&rmlang=UK for more information.


The other position is about the interpretation of smart contracts as computer programs and as legal contractual agreements. The objetives are: i) to define a high-level formal language that contains both normative concepts (e.g., rights and obligations) and operational ones (i.e., programming concepts), ii) to define a reasoning system for the language, and iii) to write a parser so such smart contracts are executable in the blockchain. 

See https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=5633 for more information.

Applicants are free to apply to only one of the positions, or to both. The application deadline is April 15th, 2020.

Contact persons: 

- Wolfgang Ahrendt ([email protected])

- Gerardo Schneider ([email protected])