Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Spettri e radicali sotto l’esame della teoria della dimostrazione |
|---|---|
| Titolo del progetto di ricerca in inglese | Spectra and radicals under proof-theoretic scrutiny |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | La teoria dei radicali abbonda di ricette per codificare proprietà strutturali di anelli e moduli, mediante classi appropriate di oggetti ideali. Per analogia, e nel quadro più ampio del programma di Hilbert revisionato nell’algebra astratta, in questo progetto si studiano coloro spettri che risalgono a assiomi non deterministici in strutture parzialmente ordinate e categorie sufficientemente ricche. Utilizzando i mezzi della teoria della dimostrazione concettuale si mira a districare le corrispettive operazioni radicali nelle loro parti costitutive, nonché tentare nuovi metodi di calcolo basati sulla sintassi proprio come se esistessero abbastanza oggetti ideali, perfino in ambienti costruttivi e predicativi. |
| Descrizione sintetica in inglese | Radical theory offers a wealth of tools to encode structural properties of rings and their modules through suitable classes of ideal objects. By analogy, and within the wider scope of the revised Hilbert programme in abstract algebra, this project investigates spectra that arise from non-deterministic axioms over posetal structures and rich enough categories. The aim is to break down by means of conceptual proof theory the corresponding radical operations into their constituent parts, as well as to attempt new methods of syntax-based computation just as if enough ideal objects existed, even within constructive and predicative settings. |
| Data del bando | 05/07/2021 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 24000 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
| Nazionalità dei candidati |
OCEANIA NORTH AMERICA SOUTH AMERICA ASIA AFRICA EUROPE |
| Sito web del bando | https://www.univr.it/it/concorsi/assegnisti-di-ricerca/assegni-di-ricerca/0/9137 |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 24000 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | no |
| 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) |
Per l'ammissione alla selezione di cui al precedente art. 1 è richiesto il possesso dei seguenti requisiti: a) Titolo di Dottore di Ricerca; b) Conoscenza della seguente lingua straniera: inglese; c) Ulteriori requisiti: attività di ricerca e/o di sviluppo nel settore scientifico-disciplinare: MAT/01 LOGICA MATEMATICA. |
| Criteri di selezione in inglese (breve descrizione) |
For admission to the selection process referred to in Art. 1, potential candidates must fulfil the following requirements: a)PhD; b)Knowledge of the following foreign language: English; c)Other requirements: documented research and/or development experience in the disciplinary sector: MAT/01 MATHEMATICAL LOGIC. |
| Processo di selezione in italiano (breve descrizione) | La selezione avverrà attraverso la valutazione dei titoli prodotti dai candidati e un colloquio. |
| Processo di selezione in inglese (breve descrizione) | The competition will be carried out by an evaluation of titles and examination by means of an interview. |
| Nome dell'Ente finanziatore | Università degli Studi di Verona - Dipartimento di Biotecnologie |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Verona |
| Codice postale | 37129 |
| Indirizzo | Via dell'Artigliere, 8 |
| Sito web | https://www.univr.it/it/ |
| elena.cordioli@univr.it | |
| Telefono | 0458028204 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 26/07/2021 |
|---|---|
| Come candidarsi | Other |