Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tipi e dimostrazioni nella logica del secondo ordine |
|---|---|
| Titolo del progetto di ricerca in inglese | Types and proofs in second order logic |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | Il programma intende sviluppare - in modo originale e innovativo, mediante apporti metodologici scaturiti dalla ricerca in logica lineare, e facendo interagire gli approcci matematici, informatici e filosofici - una linea di ricerca che nel secolo scorso ha portato fra l’altro al Sistema F di Girard e al polimorfismo nella programmazione nonché alle diverse trattazioni (matematiche, informatiche e filosofiche) del tema delle definizioni impredicative e delle dimostrazioni parametriche. |
| Descrizione sintetica in inglese | To develop – in an original and innovative way, by means of methods coming from the research in linear logic, with interaction between mathematical, philosophical and computer-science approaches – the research on types and proofs in second order logic (in particular the research on Girard’s System F, polymorphism in programming language, impredicative definitions, parametric proofs, etc.). |
| Data del bando | 03/03/2016 |
| Numero di assegnazioni per anno | 1 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://host.uniroma3.it/uffici/ricerca/assegni-di-ricerca.aspx |
| 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 | 23465 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Nome dell'Ente finanziatore | Università degli studi Roma Tre - Dipartimento di Matematica e Fisica |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | ,Roma |
| Codice postale | 00146 |
| Indirizzo | – L.go San Leonardo Murialdo 1. |
| Sito web | http://host.uniroma3.it/uffici/ricerca/assegni-di-ricerca.aspx |
| ricerca.matematicafisica@uniroma3.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 11/04/2016 |
|---|---|
| Come candidarsi | Other |