Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Ragionamento e verifica temporale di sistemi basati su ontologie + Ragionamento e verifica temporale di sistemi basati su ontologie |
|---|---|
| Titolo del progetto di ricerca in inglese | Temporal reasoning and verification on ontology-based systems + Temporal reasoning and verification on ontology-based systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Attività di ricerca focalizzata sul ragionamento automatico e la verifica di specifiche temporali nell'ambito di sistemi complessi basati su ontologie. Scopo dell'attività di ricerca è lo studio delle proprietà formali e computazionali di tali sistemi e la messa a punto di tecniche algoritmiche per la risoluzione dei relativi problemi di ragionamento. Ulteriori attività di ricerca nel contesto di altri progetti su temi collegati possono essere definite previo accordo reciproco tra AR e supervisore. Qualora questa attività nel contesto di altri progetti sia supervisionata nel dettaglio da un professore/ricercatore diverso dal supervisore indicato, quest'ultimo dovrà in ogni caso controfirmare espressamente la parte di relazione che si riferisce all'attività sui progetti aggiuntivi. |
| Descrizione sintetica in inglese | Research activity focused on automated reasoning and verification of temporal specifications in the context of complex ontology-based systems. The goal of the research activity is the study of the formal and computational properties of such systems and the creation of algorithmic techniques to solve the corresponding reasoning problems. Additional research activities in the context of other research projects on similar topics may be defined in due course with the mutual agreement between research assistant and supervisor. If the supervision of this activity taking place within another project is done in detail by a different professor/researcher, the main supervisor has to explicitly countersign the part of the report regarding the activity on additional research projects. |
| Data del bando | 20/10/2022 |
| 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/6064-informatica-prof-calvanese?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 | https://www.unibz.it/ |
| personnel_academic@unibz.it | |
| Telefono | +390471011300 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 04/11/2022 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://www.unibz.it/it/home/position-calls/positions-for-academic-staff/6064-informatica-prof-calvanese?group=18 |