Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Between Logic and Cryptography |
|---|---|
| Titolo del progetto di ricerca in inglese | Between Logic and Cryptography |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Il progetto prevede lo studio dell'indistinguibilità computazionale, concetto chiave in ambito crittografico, dal punto di vista della logica e in particolare della logica equazionale. In particolare, si studierà la natura dell'indistinguibilità computazionale, da un lato da un punto di vista equazionale e dall'altro anche da un punto di vista metrico, definendo un sistema di prova che permetta di derivare giudizi corretti per essa. |
| Descrizione sintetica in inglese | The project involves the study of computational indistinguishability, a key concept in the cryptographic field, from the point of view of logic and in particular of equational logic. In particular, we will study the nature of computational indistinguishability, on the one hand from an equational point of view but on the other also from a metric point of view, defining a proof system that allows to derive for it. |
| Data del bando | 26/08/2024 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://bandi.unibo.it/ricerca/assegni-ricerca |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://bandi.unibo.it/ricerca/assegni-ricerca |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://bandi.unibo.it/ricerca/assegni-ricerca |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| ugo.dallago@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 15/09/2024 - alle ore 23:59 |
|---|---|
| Come candidarsi | Other |