Several post-doc positions in Computer Science at GSSI

by Emilio Tuosto, Nov. 18, 2023

# 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: December 14, 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 official call is available at
See pages 3-6 of the official call for details on the specific positions and pages 8-9 for information on benefits, requirements, and the application and selection procedures.

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 [email protected] 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.