[TYPES/announce] PhD positions in Blockchain and DLT including analysis and verification of smart contracts using Horn clauses
fioravanti at unich.it
Wed Nov 9 10:08:23 EST 2022
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://urldefense.com/v3/__https://isas.unicam.it/dni/blockchain-and-DLT__;!!IBzWLUs!QCuxq6pIUrFazTXZx_MMGyaUIESm0PqDGht59-uQ55ZAFGQd7Yh-WPsSr30951Rvw1aNPkopI2eejhBlcAKbZ1Wzz5aXKha6rSM$
Application details and research topics: https://urldefense.com/v3/__https://www.unicam.it/bandi/bando-n-76799-del-07112022__;!!IBzWLUs!QCuxq6pIUrFazTXZx_MMGyaUIESm0PqDGht59-uQ55ZAFGQd7Yh-WPsSr30951Rvw1aNPkopI2eejhBlcAKbZ1Wzz5aXjTFQhyU$
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.fioravanti at unich.it
University of Chieti-Pescara, Italy
fabio.fioravanti at unich.it
More information about the Types-announce