Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Modelli fibrazionali concreti per teorie dei tipi polimorfe |
|---|---|
| Titolo del progetto di ricerca in inglese | Concrete fibrations for polymorphism |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | Nell'ambito della ordinaria teoria delle categorie, la nozione di categoria concreta risulta essere una delle più indagate e studiate. È di recente introduzione la nozione di categoria fibrata concreta ed è insoddisfacente il grado di conoscenza delle proprietà possedute da tali categorie fibrate. Queste ragioni generali rappresentano uno stimolo oggettivo a intraprendere un'approfondita attività di ricerca su di esse. In particolare, sulla base di confortanti risultati preliminari, e per la grande importanza che lo studio dei modelli categoriali fibrazionali per logica e teoria dei tipi riveste nell'ambito matematico e informatico, la presente proposta di ricerca è finalizzata all'indagine delle proprietà di modelli fibrazionali concreti di teorie dei tipi polimorfe, come pure ad estendere la costruzione del completamento esatto di una categoria con limiti finiti al caso fibrazionale concreto |
| Descrizione sintetica in inglese | Knowledge of Italian language. Applications and CVs sent by e-mail are not accepted. To apply http://www.unige.it/concorsi/assricerca/ Within ordinary category theory, the notion of concrete category is one on which research and scientific investigations have concentrated the most. It is of recent interest the study of concrete fibrations, and it is important to further the understanding of their properties. Such general motivations, together with some satisfactory preliminary results, suggest to propose a research study on concrete fibrations and the fibrational models of strong type theories. In particular, the plan for the present research is to determine the properties of concrete fibrational models of polymorphism and some of its extensions together with an attempt to extend the construction of the exact completion of a lex category to the concrete fibrational case |
| Data del bando | 10/12/2012 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| 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) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 22947 |
| 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 e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili 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) |
Knowledge of Italian language. Qualification to participate to the selection specified in the notice for each research program. To apply for research grants fill out the forms available at the following address: 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 | 09/01/2013 - alle ore 00:00 |
|---|---|
| Come candidarsi | http://www.unige.it/concorsi/assricerca/ |