Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Un approccio model-based alla sicurezza funzionale di nodi IoT |
|---|---|
| Titolo del progetto di ricerca in inglese | A model-based approach to functional-safety of IoT nodes. |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Nell'ambito del progetto di ricerca di un "Un approccio Model-based per la progettazione, verifica e sintesi di servizi IoT" si vuole investigare la possibilità di garantire la corretta funzionale di nodi IoT usando metodologie basate su modelli (model-based). Sarà necessario dunque capire come comportamenti e modelli analogici possano essere valutati dal punto di vista della sicurezza funzionale attraverso tecniche di astrazione automatica. |
| Descrizione sintetica in inglese | As part of the research project for an "a Model-based approache for design, verification and synthesis of IoT services", we would like to investigate the possibility of guaranteeing the functional safety if IoT nodes in the context of model-based methodologies. We would like thus to understand how analogue behaviors and models can be avaluated from the point of view of functional safety through automatic abstraction techniques. |
| Data del bando | 01/03/2019 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23800 |
| 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/it/albo-ufficiale |
| 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 |
| 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)Titolo di Dottore di Ricerca, ovvero 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: ING-INF/05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI. |
| 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)PhD or 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: ING-INF/05 INFORMATION PROCESSING SYSTEMS |
| 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/ |
| 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 | 25/03/2019 |
|---|---|
| Come candidarsi | Other |