Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Teoria Omotopica dei Tipi e Effettività. |
|---|---|
| Titolo del progetto di ricerca in inglese | Homotopy Type Theory and Effectiveness |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | Il progetto si incentra sulla Teoria Omotopica dei Tipi introdotta da Vladimir Voevodsky poco prima della sua scomparsa, denominata HoTT (per Homotopy Type Theory), basandosi su ricerche di Martin Hofmann e Thomas Streicher e di Steve Awodey e Michael Warren. L'intenzione è quella di determinare quanto contenuto effettivo possa produrre la teoria determinando modelli per essa costruiti su modelli di matematica costruttiva quali il topos effettivo, il quasitopos degli spazi equilogici e, più in generale, categorie ottenute come completamenti per quozienti di iperdottrine. La potenzialità di tali modelli sono molteplici. In prima battuta, producono modelli di HoTT via la realizzabilità; inoltre potrebbeo fornire modelli topologici di HoTT da confrontare con quelli già noti. |
| Descrizione sintetica in inglese | The project focusses on Homotopy Type Theory. The intention is to evaluate the computational content that the theory may express by describing models for HoTT built in models of constructive mathematics such as the effective topos, the quasitopos of equilogical spaces, and more generally categories which are quotient completions of hyperdoctrines. The possibilities of such models are manyfold, for instance on the one hand some would produce models of HoTT via realizability. On the other hand, some would be topological models comparable with known models of HoTT. |
| Data del bando | 21/01/2019 |
| Numero di assegnazioni per anno | 1 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
OTHER |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | http://www.unige.it/concorsi/assricerca/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 19.367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | titolo di astudio per partecipare alla selezione specificato nel bando per ogni programma di ricerca. il modulo per partecipare alla selezione e' disponibile all'indirizzo http://www.unige.it/concorsi/assricerca. Le domande e i cv spediti per e-mail non sono accettati |
| Criteri di selezione in inglese (breve descrizione) | the qualification to apply every selection in specified in the notice for each research program. to apply for research grants: http://www.unige.it/concorsi/assricerca/. |
| Processo di selezione in italiano (breve descrizione) | Valutazione dei titoli presentati e colloquio concernente gli argomenti previsti dal bando |
| Processo di selezione in inglese (breve descrizione) | Evaluation of presented titles and interview on the subjects by the notice |
| Nome dell'Ente finanziatore | Universita' degli Studi di Genova |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Genova |
| Codice postale | 16126 |
| Indirizzo | Via Balbi, 5 |
| Sito web | http://www.unige.it/concorsi/assricerca/ |
| assegnisti@unige.it | |
| Telefono | 0102099406 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 20/02/2019 - alle ore 00:00 |
|---|---|
| Come candidarsi | http://www.unige.it/concorsi/assricerca/ |