Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Problemi di decidibilità e questioni di complessità in Computable Set Theory |
|---|---|
| Titolo del progetto di ricerca in inglese | Decidability problems and complexity issues in Computable Set Theory |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Informatics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Lo scopo del progetto è di: • Analizzare e categorizzare dal punto di vista della complessità computazionale frammenti decidibili della teoria degli insiemi con focus sulle relative applicazioni • Studiare il problema della decidibilità in presenza di operatori, quali unione unaria e prodotto cartesiano, in grado di forzare modelli infiniti • Estendere e implementare procedure di decisione in Computable Set Theory già esistenti • Sviluppare scenari di dimostrazione basati su procedure di decisione per frammenti insiemistici |
| Descrizione sintetica in inglese | The aim of the project is to: • Analyze and categorize, from the perspective of computational complexity, decidable fragments of set theory with a focus on their applications • Study the decidability problem in the presence of operators, such as unary union and Cartesian product, capable of forcing infinite models • Extend and implement existing decision procedures in Computable Set Theory • Develop proof scenarios based on decision procedures for fragments of set theory |
| Data del bando | 28/06/2023 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23891 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | https://www.unict.it/bandi/ricerca-e-trasferimento-tecnologico/assegni-di-ricerca-tipo-a |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | yes |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
Dottorato di ricerca o titolo equivalente o equiparato o equipollente, conseguito in Italia o all’estero, in discipline attinenti all’informatica. Conoscenza della lingua: inglese |
| Nome dell'Ente finanziatore | Università degli Studi di Catania |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Catania |
| Codice postale | 95131 |
| Indirizzo | Piazza Università 2 |
| Sito web | http://www.unict.it |
| ac.ari@unict.it | |
| Telefono | 0954787419 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 18/07/2023 - alle ore 23:59 |
|---|---|
| Come candidarsi | https://concorsi.unict.it |