Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi formali per modellazione, verifica e riuso del software (Progetto Europeo H2020 - HyVar n. 64428) |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal Methods for software modelling, verification and reuse |
| 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” e participera’ al progetto HyVar, un progetto di ricerca europeo iniziato nel 2015, finanziato dal framework Horizon 2020, con membri da Italia, Germania, e Norvegia. Il consorzio del progetto HyVar include gruppi di ricerca accademici e industriali. Per maggiori informazioni su HyVar, si veda http://www.hyvar-project.eu. Nel progetto HyVar, l’Universita’ Torino e’ responsabile del workpackage “Design of the Domain Specific Variability Language”. Il candidato ideale dovra’ 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. The position is part of the HyVar project, which is a European research project started in 2015, funded by the Horizon 2020 framework, with partners from Italy, Germany, and Norway. The HyVar partners include leading research groups from three European universities and advanced technology developers from Industry. For more information about HyVar, see http://www.hyvar-project.eu. In the HyVar project, the University of Torino is responsible for “Design of the Domain Specific Variability Language”. The ideal candidate would have a background in formal methods and good programming skills. |
| Data del bando | 16/09/2015 |
| 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 | 25580 |
| 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) | 17 |
| Criteri di selezione in italiano (breve descrizione) | il bando (n. rep. 2207 del 16/09/2015), 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. 2207 del 16/09/2015), 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/ |
| arearicerca-assegni@unito.it | |
| Telefono | 0 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 06/10/2015 |
|---|---|
| Come candidarsi | https://loginmiur.cineca.it/ |