Descrizione posizione

Titolo del progetto di ricerca in italiano	Temporal Logics in Computer Science
Titolo del progetto di ricerca in inglese	Temporal Logics in Computer Science
Descrizione sintetica in italiano	Attività di ricerca su logiche temporali e loro applicazioni alla Computer Science con particolare attenzione agli algoritmi di ragionamento automatico per ragionare sia sulle logiche temporali sia, più in generale, su sistemi di rappresentazione della conoscenza estesi con aspetti dinamici e temporali. Il candidato/la candidata dovrà svolgere sia attività di ricerca sia logiche temporali classiche (LTL) sia su sistemi di rappresentazione della conoscenza estesi con aspetti dinamici e temporali come, ad esempio, le description logics estese temporalmente...
Descrizione sintetica in inglese	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 candidate will be expected to carry out research activities both on classical temporal logics (LTL) and on extended knowledge representation systems with dynamic and temporal aspects such as, for example, temporally extended description logics...
Numero posti	1
G.S.D.	01/INFO-01 - INFORMATICA
S.S.D	INFO-01/A - Informatica
Destinatari del bando (of target group)	Experienced researcher or 4-10 yrs (Post-Doc)
Data del bando	05/06/2025

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Other
Tempo	Other
Organizzazione/Ente	Libera Università di Bolzano
Paese (dove si svolgerà l'attività)	ITALY
Città	Bolzano

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Libera Università di Bolzano
Tipo	Academic
Paese	ITALY
Città	Bolzano
E-mail	personnel_academic@unibz.it
Telefono	0471011300

 

Dettagli per la candidatura

Data di scadenza del bando	16/08/2025 - alle ore 12:00
Come candidarsi	https://www.unibz.it/it/home/position-calls/positions-for-academic-staff/7730-informatica-prof-artale-alessandro?group=16

 

Titoli di studio richiesti