The PhD call in Computer Science at the Gran Sasso Science Institute (L'Aquila, Italy) is open until June 5th:
- 10 scholarships available for research in algorithms, formal methods, software engineering, and more.
- 4 scholarships funded under the ERC Starting Grant 2025 "SPES - Sparsity-guided Efficient SMT-solving for Program Verification".
The Computer Science group at GSSI is among the top-ranked in Italy and a national Department of Excellence. Research areas include Algorithms, Artificial Intelligence, Formal Methods, and Software Engineering, with applications in domains such as robotics, cyber-physical systems, IoT, space, and smart cities.
L'Aquila offers a high quality of life, with mountains, nature, and easy access to both the sea and Rome.