[TYPES/announce] Several post-doc positions at GSSI (deadline extended to 31/01/2024)

[emilio.tuosto at gssi.it]

[Apologies for crossposting]

# Highlights
- 1 postdoc position on formal methods for provably correct protocols for decentralised circular economy funded by the Italian PNRR PRIN 2022 project DeLICE
- two positions for general profiles in Computer Science not related to specific projects
- 8 positions related to other projects
- Gross salary: 45K EUR/year
- Deadline: January 31, 2023 - 3pm (Italian time zone)

The group of Computer Science at the Gran Sasso Science Institute (GSSI) in L'Aquila, Italy, has openings for 11 postdoctoral positions, nine of which are related to specific projects and two are open to applicants with a research profile connected to any of the research areas covered by the group (algorithms, formal methods, and software engineering). The English version of the call is at https://urldefense.com/v3/__https://www.gssi.it/albo-ufficiale-online-gssi/item/download/4680_81ce88b8781f4df948bba5637aaa7f94__;!!IBzWLUs!VgYV3qghONiz-GQFfzGVs-7KnwHmDe4Mgbaq2MaGMGoRbgt_24hZ24DaPItcEREldZ4znJvbUOArxQyYytRrM48-UBkdy4j6ZvKQyw$ ; see pages 3-6 of the English call for details on the specific positions and pages 8-9 for information on benefits, requirements, and the application and selection procedures (the official call is in Italian and is available at https://urldefense.com/v3/__https://www.gssi.it/albo-ufficiale-online-gssi/item/download/4665_f773c7660a7726995016f85b4353c382__;!!IBzWLUs!VgYV3qghONiz-GQFfzGVs-7KnwHmDe4Mgbaq2MaGMGoRbgt_24hZ24DaPItcEREldZ4znJvbUOArxQyYytRrM48-UBkdy4izs_Obyw$ ).

The details for the prospective applicants for the position funded by the Italian PNRR PRIN 2022 project DeLICE are summarised below (do not hesitate to email me at emilio.tuosto at gssi.it if you're interested in this project or one of the positions not related to any project).

DeLICE offers the possibility to interact with the research groups involved in the projection (the University of Cagliari and the University of Sassari), their international research partners, and with mainstream blockchain foundations (e.g., Ethereum Foundation, IOTA Foundation). The duration of the contract is 24 months, starting from early 2024 (subject to funding, the contract can be extended).

Expected skills/expertise are blockchain technologies, smart contracts, decentralised finance, formal methods for modelling and verification, logics.



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

    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!VgYV3qghONiz-GQFfzGVs-7KnwHmDe4Mgbaq2MaGMGoRbgt_24hZ24DaPItcEREldZ4znJvbUOArxQyYytRrM48-UBkdy4iOnIBGfA$ 

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