7 PhD positions in Computer Science at Gran Sasso Science Institute (GSSI), L'Aquila (Italy)

by Emilio Tuosto, March 26, 2020

PhD Scholarships in Computer Science (Formal methods, Software Engineering, or Algorithms)

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.