[TYPES/announce] PhD Scholarship on Blockchains. Deadline 26/08/22
Emilio Tuosto
emilio.tuosto at gssi.it
Mon Jul 18 12:07:07 EDT 2022
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$
************************************************************
More information about the Types-announce
mailing list