Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Coerenza e Metodi Costruttivi in Logica e Topologia |
|---|---|
| Titolo del progetto di ricerca in inglese | Coherence and Constructive Methods in Logic and Topology |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | Il programma di ricerca riguarda metodi costruttivi e problemi di coerenza in logica e in teoria delle categorie di dimensione superiore, ottenuti per mezzo di costruzioni universali, con applicazione di questi alla topologia, ai linguaggi di programmazione e ai modelli booleani-valutati. Un vantaggio di prove costruttive è la possibilità di estrarne un contenuto computazionale in termini di algoritmi. Concetti estensionali non possono essere in generale rappresentati direttamente nelle teorie utilizzate, ma tali concetti sono estremamente comuni nella pratica matematica. L'idea è di intendere tali concetti, astrattamente, nel completamento per quozienti rispetto ad un'opportuna fibrazione spezzante che interpreti le proposizioni della teoria utilizzata. L'obiettivo è di trattare in modo astratto il completamento per quozienti rispetto a fibrazioni, in modo da raccogliere i completamenti per quozienti noti in letteratura, sia in teoria delle categorie che in teoria dei tipi |
| Descrizione sintetica in inglese | The research program involves constructive methods and coherence problems in logic and higher dimensional category theory, generated by means of universal constructions and applied to topolog, functional programming languages and Boolean-valued models. An advantage of constructive proofs resides in the possibility of extracting computational content in terms of algorithms. Extensional concepts cannot be represented in general directly in the type theories, though these are very common in the mathematical practice. The idea is to render those concepts, abstractly, within a completion by quotients with respect to a suitable split fibration described by the employed type theory. The goal is to develop abstractly the completion by quotients with respect to fibrations as a single construction which subsumes all completions by quotients known in the literature, both in category theory and in type theory |
| Data del bando | 16/12/2014 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.unige.it/concorsi/assricerca/ |
| 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 | 23334 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
Titolo di studio per partecipare alla selezione specificato nel bando per ogni programma di ricerca. Il bando per partecipare alla selezione è disponibile all'indirizzo: https://concorsi.unige.it/home Le domande e i CV spediti per e-mail non sono accettati |
| Criteri di selezione in inglese (breve descrizione) |
Qualification to participate to the selection specified in the notice for each research program. To apply for research grants: https://concorsi.unige.it/home Applications and CVs sent by e-mail are not accepted 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 titles presented and interview on the subjects specified by the notice |
| Nome dell'Ente finanziatore | Università 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 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 15/01/2015 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://concorsi.unige.it/home |