Bando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Analisi costruttiva point-free nella minimalist foundation |
|---|---|
| Titolo del progetto di ricerca in inglese | Pointfree Constructive Analysis in the Minimalist Foundation |
| 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 sviluppare risultati fondamentali di analisi costruttiva utilizzando metodi di topologia senza punti e di formalizzarne le prove all'interno della teoria degli insiemi costruttiva denominata 'minimalist foundation' e ideata da M.E. Maietti and G. Sambin nel 2005 |
| Descrizione sintetica in inglese | The aim of this project is to develop fundamental results of constructive analysis by employing point-free topological methods and by performing their proofs within the constructive set theory called ``minimalist foundation" ideated by M.E. Maietti and G. Sambin in 2005 |
| Data del bando | 05/05/2014 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 19367 |
| Periodicità | 24 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) | 24 |
| 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 | 04/06/2014 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |