3 fellowships on blockchain and static analysis

by Agostino Cortesi, March 16, 2020

Three one year fellowship positions in Computer Science are available at Ca' Foscari University of Venice and University of Verona on “Development and verification of blockchain systems for e-commerce”. Requirements: master degree or PhD in Computer science, and age <35.

Call for expressions of interest

Three one year fellowship positions in Computer Science are available at Ca' Foscari University of Venice and University of Verona.
The positions are part of the project “Development and verification of blockchain systems for e-commerce” funded by FSE - Regione Veneto. The project comprises the two aforementioned Italian universities, University of Stirling, and three industrial partners (Corvallis, Commerc.io, and Alpenite). The overall goal of the project is to develop a blockchain system (through the technology developed by Commerc.io) for e-commerce (applied to a case study of Alpenite), and to validate such system through means of static analysis (relying on the industrial IT expertise of Corvallis in this field).
The fellowship position at the University of Verona will be focused towards the design, implementation and validation of a blockchain platform to anticipate the credits due to invoices issued but not yet paid. The second position, based at the University of Venice, will develop a generic static analyzer for Go programs (the programming language adopted by the blockchain system developed by Commerc.io to implement smart contracts). The third and last position, based at the University of Venice as well, will be focused towards the development of security and reliability analyses of smart contracts.
All the three positions will spend a period at the University of Stirling in Scotland under the supervision of prof. Bracciali.
Candidates should be unemployed, have either a master degree in computer science or computer engineering, or even better a PhD, and be younger than 35.
Please contact either me ([email protected],it) or fausto spoto ([email protected]) if you or some of your students are interested.
thanks!
  tino cortesi