[TYPES/announce] PhD Scholarship on Blockchains. Deadline 26/08/22

[Emilio Tuosto]

A fully funded PhD scholarship on the analysis and verification of smart 
contracts with behavioural types is available in the context of the 
Italian National PhD School on Blockchain and Distributed Ledger 
Technology (https://urldefense.com/v3/__https://isas.unicam.it/dni/blockchain-and-DLT__;!!IBzWLUs!WPGRGCBVI4zzgNcyMk0kzAqDam-Fe3YYazZvur6VuEo3Wy3CMNNznt6x4UMqGlnZOIgbk03mPPHjXaZe7dueigkObhKVOnZI2XDHnQ$ )

** Application deadline is August 26, 2022 **

Candidate are eligible provided that they will be awarded an MSc degree 
by November 30, 2022.

More information and details about the application process are available at

https://urldefense.com/v3/__https://www.unicam.it/bandi/bando-50170-del-15-luglio-2022__;!!IBzWLUs!WPGRGCBVI4zzgNcyMk0kzAqDam-Fe3YYazZvur6VuEo3Wy3CMNNznt6x4UMqGlnZOIgbk03mPPHjXaZe7dueigkObhKVOnb887vg0g$ .

The PhD School on Blockchain and Distributed Ledger Technology is a new 
PhD program jointly managed by 22 research institutions and with 
administrative headquarters at the University of Camerino. The 
successful candidate will join the computer science department of the 
Gran Sasso Science Institute, recently ranked the first computer science 
department in the Italian evaluation exercise 
(https://urldefense.com/v3/__https://www.anvur.it/attivita/vqr/vqr-2015-2019/rapporto-finale-anvur-e-rapporti-di-area/sezione-rapporti-di-area/__;!!IBzWLUs!WPGRGCBVI4zzgNcyMk0kzAqDam-Fe3YYazZvur6VuEo3Wy3CMNNznt6x4UMqGlnZOIgbk03mPPHjXaZe7dueigkObhKVOnb44h_Z-w$ ).

Perspective applicants can contact Maurizio Murgia 
(maurizio.murgia at gssi.it) or Emilio Tuosto (emilio.tuosto at gssi.it).
-- 
************************************************************

     Emilio Tuosto

         Gran Sasso Science Institute
         Department of Computer Science
         ORCID: 0000-0002-7032-3281

         Viale F. Crispi, 7 - 67100 L'Aquila (Italy)
         Office: Palazzo Mariani P1-N
         Phone: +39 0862 428 0312

         homepage -> https://urldefense.com/v3/__https://cs.gssi.it/emilio.tuosto/__;!!IBzWLUs!WPGRGCBVI4zzgNcyMk0kzAqDam-Fe3YYazZvur6VuEo3Wy3CMNNznt6x4UMqGlnZOIgbk03mPPHjXaZe7dueigkObhKVOnbUpgNIag$ 

************************************************************