Junior and Senior University Researchers with fixed-term contract (RTD) - Informatics (Prof. Ar[]

Junior and Senior University Researchers with fixed-term contract (RTD) - Informatics (Prof. Artale, Alessandro) The Free University of Bozen/Bolzano was founded on 31 October 1997 as a multilingual, internationally oriented institution. Rector's Decree n. 796/2025 of 05.06.2025 Deadline for sending applications and publications Within 45 days from the day following the publication of this public announcement in “Gazzetta Ufficiale della Repubblica” Number applications 0 Description of the research activity: Research activities on temporal logics and their applications to Computer Science with a focus on automatic reasoning algorithms to reason about both temporal logics and, more generally, extended knowledge representation systems with dynamic and temporal aspects. Job details Title Junior and Senior University Researchers with fixed-term contract (RTD) - Informatics (Prof. Artale, Alessandro) J-18808-Ljbffr

Location: Bolzano, Trentino-Alto Adige, IT

Posted Date: 7/6/2025