Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi Formali e Internet degli Oggetti |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal Methods and Internet of Things |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | L’assegnista afferira’ al gruppo di ricerca “Modellazione, Verifica e Riuso di Sistemi” (di.unito.it/movere/). I moderni sistemi software sono sempre più integrati nel nostro ambiente quotidiano, distribuiti su automobili, elettrodomestici, impianti industriali e qualsiasi tipo di dispositivo. Tali sistemi sono notoriamente difficili da ingegnerizzare, in particolare a causa delle interazioni tra specifiche complesse e i requisiti simultanei di efficienza e resilienza a guasti e variazioni delle condizioni di esecuzione. L'obiettivo del progetto è quello di investigare una metodologia di sviluppo innovativa combinando la nozione campo computazionale con metodi formali per la specifica e la verifica di proprietà di sistemi software complessi. I candidati devono possedere un’esperienza nell’uso dei metodi formali e buone abilita’ di programmazione. |
| Descrizione sintetica in inglese | The position will participate in the “System Modelling Verification and Reuse” research group (di.unito.it/movere/). Modern software systems are becoming increasingly integrated into our everyday environment, distributed on cars, appliances, industrial plants and any kind of devices. These systems are notoriously difficult to engineer, particularly due to the interactions between complex specifications and the simultaneous need for efficiency and for resilience to faults and changes in execution conditions. The goal of the project is to design an innovative development framework that will combine computational fields with formal methods for specification and verification of properties of complex software systems. Candidates must have a background in formal methods and good programming skills. |
| Data del bando | 13/02/2018 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.serviziweb.unito.it/albo_ateneo/ |
| 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 | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | yes |
| Comprende il costo della ricerca | yes |
| Altri costi in italiano | \ |
| Altri costi in inglese | \ |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | il bando (n. rep. 423 del13/02/2018), modalità di iscrizione/partecipazione alla selezione e i requisiti sono disponibili su https://www.serviziweb.unito.it/albo_ateneo/ |
| Criteri di selezione in inglese (breve descrizione) | The call (n. rep. 423 - 13/02/2018), the requirements and how to apply are available at the following address: https://www.serviziweb.unito.it/albo_ateneo/ |
| Processo di selezione in italiano (breve descrizione) | per titoli e colloquio (il calendario dei colloqui viene pubblicato entro la data di scadenza del bando. I candidati NON riceveranno comunicazione di ammissione al colloquio) |
| Processo di selezione in inglese (breve descrizione) | qualifications and interview (in Turin) - Dates and venues of the interviews are published on the website of the University of Turin at the official notice board (https://www.serviziweb.unito.it/albo_ateneo/) by the date of the deadline |
| Nome dell'Ente finanziatore | Universita' degli Studi di Torino |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Turin |
| Sito web | http://www.unito.it/ |
| assegniricerca@unito.it | |
| Telefono | 0 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 05/03/2018 |
|---|---|
| Come candidarsi | https://pica.cineca.it |