14 PhD scholarships in Computer Science at the Gran Sasso Science Institute (L'Aquila, Italy)
0 views
Skip to first unread message
Nicolas Troquard
9:47 AM (7 hours ago) 9:47 AM
to
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.
- 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.
Apply here: https://applications.gssi.it/
Reply all
Reply to author
Forward
0 new messages