Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Estrarre il contenuto computazionale di dimostrazioni in algebra astratta avanzata |
|---|---|
| Titolo del progetto di ricerca in inglese | Extracting the computational content of proofs in advanced abstract algebra |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | A matematica è molto comune trovare dimostrazioni di enunciati del tipo "esiste un oggetto x che ha la proprietà A(x)" - ad esempio, "esiste un numero primo x che è più grande di 100" - che, tuttavia, non ci forniscono nessun modo evidente di trovare un tale x. La teoria della dimostrazione e la matematica costruttiva formano un ramo della logica matematica che fornisce metodi più o meno formali che ci permettano di analizzare dimostrazioni del genere ed estrarne una effettiva istanza di un numero x che soddisfi A(x) - nel nostro esempio, x=101 funzionerebbe. Intendiamo applicare queste tecniche all'algebra astratta avanzata, prestando particolare attenzione al Lemma di Zorn quanto usato dentro una dimostrazione di un teorema il cui enunciato è di natura assai concreta e privo di oggetti di ordine superiore. |
| Descrizione sintetica in inglese | In mathematics it is very common to find proofs of statements of the form 'there exists some object x which has the property A(x)' - for example "there exists a number x which is Greater than 100 and prime" - which nevertheless give us no obvious way of finding such an x. Proof theory and constructive mathematics form a branch of Mathematical logic which provides us with more-or-less formal methods that allow one to analyse proofs of this type and extract an actual instance of an x satisfying A(x) - in our example x=101 would work. We intend to apply these techniques to abstract advanced algebra, paying particular attention to Zorn's Lemma inasmuch as it is used within a proof of a theorem the statement of which is to fairly concrete nature and free from higher-order objects. |
| Data del bando | 29/11/2017 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 33400 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.univr.it/documenti/Albo/allegatialbo/allegatialbo137036.pdf |
| 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 | 27190 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| 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 Informatica |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Verona |
| Codice postale | 37129 |
| Indirizzo | Via dell'Artigliere, 8 |
| Sito web | http://www.univr.it/jsp/index.jsp |
| assegni.ricerca@ateneo.univr.it | |
| Telefono | +39 (0) 45 8028204 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 20/12/2017 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |