Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Ca' Foscari University of Venice - Research fellowship for specific project FSE:Sviluppo di analisi di sicurezza e affidabilità di smart contracts |
|---|---|
| Titolo del progetto di ricerca in inglese | Ca' Foscari University of Venice - Research fellowship for specific project FSE:Development of security and reliability analysis of smart contracts in Go |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Informatics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | L’obiettivo di questo assegno di ricerca è la formalizzazione, implementazione e sperimentazione di analisi di sicurezza e affidabilità su smart contracts scritti in Go per la piattaforma blockchain di Commerc.io. Tali analisi saranno implementate come istanziazione dell’analizzatore statico generico per Go sviluppato dall’assegnista, e saranno applicate agli smart contract implementati dagli altri assegnisti del progetto per testare l’efficacia delle analisi e le loro ricadute |
| Descrizione sintetica in inglese | The aim of this research fellowship is the formalization, implementation and testing of safety and reliability analyzes on smart contracts written in Go for the blockchain platform of Commerc.io. These analyses will be implemented as instantiation of the generic static analyzer for Go developed by the research fellow, and will be applied to smart contracts implemented by the other project fellows to test the effectiveness of the analyses |
| Data del bando | 07/08/2020 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 25743 |
| Periodicità | 12 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OCEANIA NORTH AMERICA SOUTH AMERICA ASIA AFRICA EUROPE |
| Nazionalità dei candidati |
OCEANIA NORTH AMERICA SOUTH AMERICA ASIA AFRICA EUROPE |
| Sito web del bando | https://www.unive.it/data/28825/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | no |
| Importo annuale | 20960 |
| 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) | TITOLI, PUBBLICAZIONI E COLLOQUIO |
| Criteri di selezione in inglese (breve descrizione) | CV AND INTERVIEW |
| Processo di selezione in italiano (breve descrizione) | TITOLI, PUBBLICAZIONI E COLLOQUIO |
| Processo di selezione in inglese (breve descrizione) | CV AND INTERVIEW |
| Nome dell'Ente finanziatore | UNIVERSITA' CA' FOSCARI VENEZIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | VENEZIA |
| Codice postale | 30123 |
| Indirizzo | DORSO DURO 3246 |
| Sito web | http://www.unive.it |
| segreteria.dais@unive.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 02/09/2020 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://apps.unive.it/domandeconcorso-en/accesso/dais2020fseferrara |