[TYPES/announce] 7 PhD positions in Computer Science at GSSI, L'Aquila (Italy) -- DEADLINE JUNE 11

[Emilio Tuosto]

The GSSI - Gran Sasso Science Institute offers seven, four-year PhD 
fellowships in Computer Science for the academic year 2020/21. The 
fellowships include a yearly salary of € 16,159.91 gross, free 
accommodation at the GSSI facilities and use of the canteen. The 
official language for all PhD courses is English.

Applications must be submitted through the online form available at 
www.gssi.it/phd/ by Thursday, 11 June 2020 at 5 pm (Italian time zone).


** Computer Science at the GSSI and its PhD programme

The Computer Science group at the GSSI carries out high-quality, 
interdisciplinary research on algorithms, formal methods, and software 
analysis and development. Further information on the group, its members, 
activities, current research projects, guests, wide international 
network and vibrant research environment can be found at 
https://sites.google.com/gssi.it/csgssi.

The PhD program in Computer Science at the GSSI (see 
https://sites.google.com/gssi.it/csgssi/ph-d-program/program) fosters 
theoretical and applied research on the above-mentioned fields, and 
equips young researchers with the knowledge and skills to successfully 
tackle the future challenges in the digital era.

The group of formal methods at GSSI is interested in formal models of 
concurrent and distributed systems. In this context, a few topics of 
interest are software quality, software verification, behavioural types, 
modelling and analysis of social networks and cyber-physical systems. 
The formal methods group is currently involved in several national and 
international projects such as BehAPI 
(https://www.um.edu.mt/projects/behapi/), IT-Matters, SEDUCE, OPEL 
(http://icetcs.ru.is/opel/) and TheoFoMon (http://icetcs.ru.is/theofomon/).

** About the Gran Sasso Science Institute

The GSSI-Gran Sasso Science Institute (https://www.gssi.it/) is an 
international PhD school and a centre for research and higher education 
in the areas of Computer Science, Mathematics, Physics and Social 
Sciences. The GSSI was founded in 2012 in L'Aquila (Italy) as Centre for 
Advanced Studies of the National Institute for Nuclear Physics (INFN) 
and was then established in March 2016 as a School of Advanced Studies 
providing post-graduate education. Through day-to-day collaboration and 
interaction, researchers and students have the opportunity to build a 
sound knowledge of research methods and to engage in interdisciplinary 
research, innovative approaches for scientific investigation and 
multicultural exchanges. In addressing the complexity of today's world, 
the GSSI is committed to removing all barriers between its areas of 
study and research. The dissemination of scientific results towards 
society and the promotion of cultural events for the generic public are 
among the goals of the GSSI.

https://www.gssi.it/communication/news-events/item/9118-new-call-for-gssi-phd-applications-2020-21-now-open