Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Costruzioni di teoria dei topos per la matematica classica predicativa |
|---|---|
| Titolo del progetto di ricerca in inglese | Topos-like constructions for classical predicative mathematics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | L'assegnista si occuperà di applicare la teoria dei topos per studiare sintassi e semantica di fondazioni per la matematica predicative classica e le sue connessioni con la matematica costruttiva in collaborazione con il supervisore del progetto e gli altri membri del gruppo di logica di Padova. |
| Descrizione sintetica in inglese | The grant-holder will apply topos theory to study syntax and semantics of classical predicative mathematics and its connections with costructive mathematics in joint work with the supervisor and the other members of the logic group of Padova. |
| Data del bando | 04/11/2022 |
| 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 | https://www.math.unipd.it/ricerca/bandi-e-concorsi/ |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Importo annuale | 19367 |
| Valuta | Euro |
| Nome dell'Ente finanziatore | Università degli studi di Padova - Dipartimento di Matematica |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Padova |
| Codice postale | 35121 |
| Indirizzo | via Trieste 63 |
| Sito web | https://www.math.unipd.it/ |
| assegni.ricerca@math.unipd.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 21/11/2022 |
|---|---|
| Come candidarsi | https://pica.cineca.it/unipd/ |