PhD positions in Blockchain and DLT including analysis and verification of smart contracts using Horn clauses

[Fabio Fioravanti]

We are looking for strong and motivated candidates for 11 PhD positions in the Italian National PhD Program in Blockchain and and Distributed Ledger Technology at various Italian universities.

Application deadline: 18 november 2022
Interviews: 21-24 november 2022
PhD Program website: https://isas.unicam.it/dni/blockchain-and-DLT
Application details and research topics: https://www.unicam.it/bandi/bando-n-76799-del-07112022


In particular, one position is on analysis, verification and testing of smart contracts using constrained Horn clauses (CHC) at the University of Chieti-Pescara.
For further information please contact Fabio Fioravanti fabio.fi...@unich.it

Best regards


--
Fabio Fioravanti
University of Chieti-Pescara, Italy
fabio.fi...@unich.it
https://www.sci.unich.it/~fioravan/