[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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_f773c7660a7726995016f85b4353c3!
82__;!!IB
zWLUs!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 [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.
************************************************************
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$
************************************************************
