The Fondazione Bruno Kessler, in collaboration with the University of Udine, undertakes to support the activation and effective operation of the 42nd cycle of the PhD Programme in Computer Science and Artificial Intelligence and will provide funding for five three-year PhD scholarships, dedicated to the following research topics:
AI-enhanced LiDAR-driven analyses for detecting sub-canopy archaeology features
Generative Agentic AI approaches for requirements engineering and testing
Formal verification of Configurable Safety-Criticial Systems
Verification and Analysis Techniques for Epistemic Runtime Monitoring with Extended Temporal Logics
Hybrization of automated temporal planning and scheduling
For additional opportunities within an international research context, applicants are also encouraged to explore the FBK PhD Programme.