Velg regionen som passer best for din plassering eller dine preferanser.
Denne innstillingen kontrollerer språket for brukergrensesnittet, inkludert knapper, menyer og all tekst på nettstedet. Velg ditt foretrukne språk for best brukeropplevelse.
Velg språkene for stillingsannonser du vil se. Denne innstillingen bestemmer hvilke stillingsannonser som vises for deg.
Call
Rector's Decree n. 796/2025 of 05.06.2025
Website of the procedure (link)
Project
Temporal Logics in Computer Science
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.
The Free University of Bozen/Bolzano was founded on 31 October 1997 as a multilingual, internationally oriented institution.
Besøk arbeidsgiverens side