Bruno Kessler Foundation 
Trento, Italy Résumé de l'offre
The Bruno Kessler Foundation in Trento, Italy, is offering a PhD position in Computer Science and Artificial Intelligence. The research focuses on developing verification and analysis techniques for epistemic runtime monitoring with extended temporal logic. Candidates will work on advanced methods to ensure system correctness and knowledge representation at runtime. The position is part of Cycle 42 and the application deadline is 24 September 2026. Applicants should submit official documents through the university’s call for applications. This opportunity is ideal for researchers interested in formal methods, runtime verification, and AI-driven monitoring.
Généré à partir du contenu enregistré de l'offre. Vérifiez toujours les détails dans l'annonce officielle.
Description du projet
Call details
- Institution: Bruno Kessler Foundation
- Call type: PhD position
- Call code: Cycle 42
- Application deadline: 24/09/2026
Official documents
- Call for applications – Università degli Studi di Udine
Contact académique
Les coordonnées n’ont pas été fournies par la source officielle.