Bando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Ontologie temporali e Algoritmi a Tableau (TOTA) + process-aware Analytics Support based on Conceptual Models for Event Logs (PACMEL) + Fondo sviluppo nuovi progetti - Calvanese |
|---|---|
| Titolo del progetto di ricerca in inglese | Temporal Ontologies and Tableaux Algorithms (TOTA) + process-aware Analytics Support based on Conceptual Models for Event Logs (PACMEL) + Fondo sviluppo nuovi progetti - Calvanese |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | L'attività di ricerca si concentra su tecniche di ragionamento per formalismi basati sulla logica che possono prendere in considerazione sia aspetti statici che dinamici, e informazioni sia a livello intensionale che estensionale... |
| Descrizione sintetica in inglese | The research activity focuses on reasoning techniques for logic-based formalisms that may take into account both static and dynamic aspects, and information both at the intensional and the extensional level... |
| Data del bando | 23/03/2021 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://www.unibz.it/it/home/position-calls/positions-for-academic-staff/5140-informatica-dr-gigante?group=18 |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | Libera Università di Bolzano |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Bolzano |
| Sito web | http://www.unibz.it |
| personnel_academic@unibz.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 09/04/2021 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://www.unibz.it/it/home/position-calls/positions-for-academic-staff/5140-informatica-dr-gigante?group=18 |