Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Sviluppo di strumenti per l’assistenza alla progettazione e codifica di sistemi distribuiti e su Blockchain |
|---|---|
| Titolo del progetto di ricerca in inglese | Development of tools assisting the design and coding of distributed and Blockchain systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il programma di ricerca mira a proporre strumenti innovativi per analizzare automaticamente codice in linguaggio Java e in Solidity al fine di determinare il flusso di controllo, la dipendenza di dati, le interazioni fra varie componenti, etc. Tale analisi sarà utile, in una prima fase, per ottenere automaticamente una "traccia" di codice collaudato che esegue su componenti distribuite e su una blockchain. In una seconda fase, la traccia di codice ottenuta servirà per assistere il programmatore durante la scrittura di codice, suggerendo frammenti utili e collaudati, per completare le porzioni di codice implementate. In fase di convalida, si svilupperanno alcune applicazioni basate sulla blockchain per mostrare l'utilità e la robustezza degli strumenti realizzati. |
| Descrizione sintetica in inglese | The research program aims at proposing innovative tools to automatically analyze code in Java language and in Solidity language to determine control flow, data dependence, interactions between various components, etc. This analysis will be useful, in a first phase, to automatically obtain a "trace" of well-proven code that runs on distributed components and on a blockchain. In a second phase, the code trace obtained will be used to assist the developer while coding by suggesting useful and tested fragments that complete the portions of code already implemented. In the validation phase, some blockchain-based applications will be developed to show the usefulness and robustness of the created tools. |
| Data del bando | 15/02/2023 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23891.00 |
| 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 | https://www.unict.it/bandi/ricerca-e-trasferimento-tecnologico/assegni-di-ricerca-tipo-b |
| 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.00 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | yes |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
Dottorato di ricerca o titolo equivalente o equiparato o equipollente, conseguito in Italia o all’estero in discipline attinenti all’Informatica. Ai candidati è altresì richiesta la conoscenza della lingua Inglese. |
| Nome dell'Ente finanziatore | Università degli Studi di Catania |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Catania |
| Codice postale | 95131 |
| Indirizzo | Piazza Università, 2 |
| Sito web | https://www.unict.it |
| ac.ari@unict.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 07/03/2023 |
|---|---|
| Come candidarsi | https://concorsi.unict.it/ |