Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | “Sviluppo di un analizzatore statico corretto per COBOL” |
|---|---|
| Titolo del progetto di ricerca in inglese | "A static sound analyzer for COBOL" |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Vogliamo sviluppare e implementare un analizzatore statico corretto per COBOL, basato su interpretazione astratta. La necessità di analizzare COBOL è legata alla sua ampia diffusione nel legacy code e al fatto che ci sono sempre meno programmatori esperti di COBOL. L’analisi deve essere in grado di generare invarianti interpretando il programma, ed i suoi costrutti, nei domini astratti degli intervalli, degli ottagoni e dei tipi, domini che andranno studiati e sviluppati specificatamente al fine di sollevare allarmi per le problematiche che si possono presentare in COBOL, come quelli generati per overflow, conversione di tipo e bugs sul dimensionamento di campi e non terminazione. Questo lavoro è inserito nel Join Project ARTIC, in collaborazione con Corvallis spa che durante la fase di sviluppo supervisionerà il testing del prodotto su casi d’uso forniti per applicazioni specifiche in alcuni domini di interesse. |
| Descrizione sintetica in inglese | We aim at developing and implementing a sound static analyzer for COBOL based on abstract interpretation. The interest in analyzing COBOL is due to the fact that still the largest part of legacy code is written in this language, while there are very day less expert programmers. The analysis should generate invariants by abstract interpreting programs in the abstract domain of intervals, octagons, and types, specifically studied for revealing alarms due to the specific structure of COBOL programming, such as those generated by overflow, type conversion and dimensioning bugs and termination. This work is part of the Join Project ARTIC in cooperation with Corvallis spa which will supervise the testing phase by providing use cases developed for domain specific application. |
| Data del bando | 23/05/2017 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23.600 |
| 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 | http://www.univr.it/documenti/Albo/allegatialbo/allegatialbo385494.pdf |
| 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? | yes |
| Importo annuale | 19.367 |
| 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) |
Per l'ammissione alla selezione di cui al precedente art. 1 è richiesto il possesso dei seguenti requisiti:a) Laurea Magistrale [conseguita ai sensi dell’art. 3, comma 1, lettera n), D.M. 22 ottobre 2004, n. 270], o Laurea Specialistica [conseguita ai sensi dell’art. 3, comma 1, lettera b), D.M. 3 novembre 1999, n. 509], o Diploma di Laurea [conseguito ai sensi degli ordinamenti didattici previgenti al D.M. 3 novembre 1999, n. 509, a conclusione di un corso di studi di durata non inferiore a quattro anni], e possesso di curriculum scientifico-professionale idoneo allo svolgimento di attività di ricerca; b) Conoscenza della seguente lingua straniera: inglese; c)Ulteriori requisiti: attività di ricerca e/o di sviluppo nel settore scientifico-disciplinare: INF/01 INFORMATICA |
| Criteri di selezione in inglese (breve descrizione) |
For admission to the selection process referred to in Art. 1, potential candidates must fulfil the following requirements: a) Master’s degree [Laurea Magistrale awarded pursuant to Art. 3(1n), Ministerial Decree no. 270 of 22/10/04] or previous Master’s degree [Laurea Specialistica awarded pursuant to Art. 3(1b), Ministerial Decree no. 509 of 03/11/99] or previous Bachelor’s degree [awarded pursuant to the teaching systems prior to Ministerial Decree no. 509 of 03/11/99, at the conclusion of a study programme at least 4 years in length], and a suitable academic and professional background for conducting research; b)Knowledge of the following foreign language: English; c)Other requirements: documented research and/or development experience in the disciplinary sector: INF/01 INFORMATICS |
| Processo di selezione in italiano (breve descrizione) | La selezione avverrà attraverso la valutazione dei titoli prodotti dai candidati e un colloquio. |
| Processo di selezione in inglese (breve descrizione) | The competition will be carried out by an evaluation of titles and examination by means of an interview. |
| Nome dell'Ente finanziatore | Università degli Studi di Verona - Dipartimento di Informatica |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Verona |
| Codice postale | 37129 |
| Indirizzo | via dell'Artigliere, 8 |
| Sito web | http://www.univr.it/jsp/index.jsp |
| assegni.ricerca@ateneo.univr.it | |
| Telefono | +39 (0) 45 8028204 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 14/06/2017 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |