[TYPES/announce] 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://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

Best regards


-- 
Fabio Fioravanti
University of Chieti-Pescara, Italy
fabio.fioravanti at unich.it
https://urldefense.com/v3/__https://www.sci.unich.it/*fioravan/__;fg!!IBzWLUs!QCuxq6pIUrFazTXZx_MMGyaUIESm0PqDGht59-uQ55ZAFGQd7Yh-WPsSr30951Rvw1aNPkopI2eejhBlcAKbZ1Wzz5aXl-0hCBA$