Bruno Kessler Foundation 
Trento, Italy Resumen de la oferta
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.
Generado a partir del contenido almacenado de la oferta. Confirma siempre los detalles en la publicación oficial.
Descripción del proyecto
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
Contacto académico
La fuente oficial no proporcionó datos de contacto.