Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Dalla matematica costruttiva alle fondazioni: modelli della teoria dei tipi nella Basic Picture |
---|---|
Titolo del progetto di ricerca in inglese | From Constructive Mathematics to Foundations: models of type theory in the Basic Picture |
Campo principale della ricerca | Mathematics |
Sottocampo della ricerca | Mathematical logic |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | MAT/01 - LOGICA MATEMATICA |
Descrizione sintetica in italiano | Lo scopo del progetto e' di applicare le nozioni topologiche introdotte all'interno della Basic Picture di G. Sambin alla teoria dei modelli della teoria dei tipi. L'obiettivo ultimo e' di arrivare a costruire modelli topologici di frammenti geometrici della Minimalist Foundation ideata da M.E. Maietti e G. Sambin in modo costruttivo. |
Descrizione sintetica in inglese | The aim of the project is to provide applications of the topological notions introduced in the Basic Picture by G. Sambin to model theory of type theory. The ultimate goal is to build topological models of geometric fragments of the Minimalist Foundation ideated by M.E. Maietti and G. Sambin in a constructive way |
Data del bando | 08/01/2014 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 19367 |
Periodicità | 12 mesi |
E' richiesta mobilità internazionale? | no |
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.math.unipd.it |
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 | 19.367 |
Valuta | Euro |
Comprende lo stipendio dell'assegnista | yes |
Comprende vitto e spese di viaggio | yes |
Comprende il costo della ricerca | yes |
Massima durata dell'assegno (mesi) | 12 |
Criteri di selezione in italiano (breve descrizione) | Bando |
Criteri di selezione in inglese (breve descrizione) | Selection announcement |
Processo di selezione in italiano (breve descrizione) | Titoli, curriculum vitae, pubblicazioni scientifiche e lettere di presentazione |
Processo di selezione in inglese (breve descrizione) | Qualifications, curriculum vitae, pubblications, letters of references |
Nome dell'Ente finanziatore | Dipartimento di Matematica - Università degli Studi di Padova |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Padova |
Codice postale | 35121 |
Indirizzo | Via Trieste, 63 |
Sito web | http://www.math.unipd.it |
amministrazione@math.unipd.it | |
Telefono | +390498271387 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 10/02/2014 |
---|---|
Come candidarsi | Other |