Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi Formali per il riconoscimento di attacchi ciberfisici in Internet of Things |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal Methods for Detecting Cyber-Physical Attacks in the Internet of Things |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | L'obiettivo della ricerca è lo sviluppo di modelli ibridi e logiche per la rappresentazione formale e la verifica di sistemi on contesto IoT con l'intento di formalizzare e catalogare una apnoplia di attacchi fisici ai dispositivi di tali sistemi. L'obiettivo finale è gettare le basi teoriche per lo sviluppo di tecniche di model-checking adattando strumenti di verifica già ampiamente diffusi. |
| Descrizione sintetica in inglese | The goal of this research is the definition of hybrid models for medeling and veryfing IoT systems with the intention of formalizing and identifying physical Attacks to IoT devices. The final goal is to develop model-checking techniques for such systems. |
| Data del bando | 03/05/2017 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23600 |
| 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/allegatialbo565125.pdf |
| 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; 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)PhD; 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 | 24/05/2017 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |