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 un analizzatore statico generico per Go |
|---|---|
| Titolo del progetto di ricerca in inglese | Ca' Foscari University of Venice - Research fellowship for specific project FSE:Development of a generic static analyzer for 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 è lo sviluppo di un analizzatore statico generico per il linguaggio di programmazione Go. Innanzitutto bisognerà valutare se strumenti esistenti (come ad esempio Statickcheck - https://staticcheck.io/) possano essere una base per l’implementazione delle maggiori componenti dell’analizzatore, che si dovrà comporre in particolare di (i) un parser che traduca il codice sorgente in un Abstract Syntax Tree e lo semplifichi, (ii) la semantica degli statement, (iii) alcuni domini di valori standard (ad esempio, numerici e di stringhe), (iv) un’astrazione della struttura dello heap. Sarà inoltre necessario definire una interfaccia (sia formale che implementativa) che permetta di implementare ed eseguire delle analisi esternamente al motore principale dell’analisi. Tale interfaccia sarà utilizzata da dall’altro assegnista per implementare le analisi di sicurezza su smart contracts |
| Descrizione sintetica in inglese | The objective of this research fellowship is the development of a generic static analyzer for the Go programming language. First of all, it will be necessary to evaluate whether existing tools (such as Staticcheck - https://staticcheck.io/) can be a basis for implementation of the major analyzer components, which will have to be composed in particular of (i) a parser that translates the source code into an Abstract Syntax Tree and simplifies it, (ii) the semantics of the statements, (iii) some standard domains of values (for example, numeric and string), (iv) an abstraction of the heap structure. It will also be necessary to define an interface (both formal and coded) that allows you to implement and perform analyses outside the main engine. This interface will be used by the other fellows to implement security analyzes on smart contracts. As a result, the holder of this grant is expected to work closely with the other fellow |
| 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 |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
| Nazionalità dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
| 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 |
|---|---|
| Come candidarsi | https://apps.unive.it/domandeconcorso-en/accesso/dais2020fsecortesi |