Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Smart collaborative engineering |
|---|---|
| Titolo del progetto di ricerca in inglese | Smart collaborative engineering |
| Campo principale della ricerca | Mathematics |
| Sottocampo della ricerca | Computational mathematics |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | L’assegnista studierà nuovi modelli per smart contracts, ovvero descrizioni formali del loro comportamento che astraggono dai dettagli implementativi di basso livello. Tali modelli saranno usati per sviluppare tecniche di analisi, verifica, e monitoraggio di smart contracts, al fine di dimostrare formalmente che essi godono di varie proprietà desiderabili, come ad esempio proprietà di safety (ad esempio, che certi stati di fallimento non vengono mai raggiunti, anche in presenza di avversari) e di liveness (ad esempio, l’assenza di deadlock). In particolare, le analisi avranno lo scopo di evitare potenziali abusi del contratto. L’assegnista di ricerca validerà sperimentalmente i modelli e le tecniche di analisi sviluppate, applicandoli al caso di studio della smart collaborative engineering. |
| Descrizione sintetica in inglese | The research grant holder will study models of smart contracts, i.e. formal descriptions of their behaviour which abstract from the low-level implementation details. Such models will be used to develop analysis, verification and monitoring techniques for smart contracts, in order to formally prove that they have some interesting properties, like e.g. safety (for instance that some failure states can not be reached, even if considering the presence of attachers) and liveness (for instance, the absence of deadlock). Specifically, the goal of the analyses is to avoid abuses of the contract. The research grant holder will experimentally validate the models and techniques developed within the project, by applying them to the case study of smart collaborative engineering |
| Data del bando | 12/07/2018 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://dirpersonale.unica.it/concorsi/?page=assegni&bando=821 |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | Sardegna ricerche |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Cagliari |
| Sito web | http://www.sardegnaricerche.it/ |
| bart@unica.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 01/08/2018 |
|---|---|
| Come candidarsi | Other |