Bando 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 |