Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Il contenuto computazionale dell’algebra astratta |
|---|---|
| Titolo del progetto di ricerca in inglese | The computational content of abstract algebra |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/01 - LOGICA MATEMATICA |
| Descrizione sintetica in italiano | Nella matematica è molto comune trovare dimostrazioni di enunciati del tipo "esiste un oggetto x che soddisfa il predicato A(x)" che tuttavia non ci forniscono nessun modo evidente di trovare un tale x. La teoria della dimostrazione è un ramo della logica matematica che fornisce metodi che ci permettano di analizzare dimostrazioni del genere ed estrarne per via formale una effettiva istanza di un numero x che soddisfi A(x). Intendiamo applicare all'algebra astratta le tecniche della teoria della dimostrazione secondo questo metodo. A tal fine, è necessario effettuare alcuni studi preliminari sui fondamenti in logica, orientati ad una interpretazione computazionale del lemma di Zorn. Poi passere a studiare teoremi esistenziali concreti in algebra, con l'intenzione non solamente di produrre risultati numerici nuovi in matematica, ma anche applicazioni di questi risultati all'informatica. |
| Descrizione sintetica in inglese | In mathematics it's very common to find proofs of statements of the form "there exists some object x which satisfies the predicate A(x)" which nevertheless give us no obvious way of finding such an x. Proof theory is a branch of mathematical logic which provides us with methods that allow one to analyse proofs of this type and formally extract an actual instance of an x satisfying A(x). We intend to apply proof- theoretic techniques in this way to abstract algebra. This will firstly involve some theoretical groundwork in logic, which will focus on giving a computational interpretation of Zorn's lemma. We will then move on to study concrete existential theorems in algebra, with the aim of not only producing new numerical results in mathematics, but also applications of these results in computer science. |
| Data del bando | 09/06/2016 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23500 |
| 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://www.univr.it/documenti/Albo/allegatialbo/allegatialbo516337.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 | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| 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 nei settori scientifico-disciplinari: MAT/01 LOGICA MATEMATICA; MAT/02 ALGEBRA; INF/01 INFORMATICA. |
| 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 | 30/06/2016 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |