[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected]
Best regards
--
Fabio Fioravanti
University of Chieti-Pescara, Italy
[email protected]
https://urldefense.com/v3/__https://www.sci.unich.it/*fioravan/__;fg!!IBzWLUs!QCuxq6pIUrFazTXZx_MMGyaUIESm0PqDGht59-uQ55ZAFGQd7Yh-WPsSr30951Rvw1aNPkopI2eejhBlcAKbZ1Wzz5aXl-0hCBA$
