Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi e Modelli per l’Ingegneria del Software in Sistemi Safety-critical e Security-critical |
|---|---|
| Titolo del progetto di ricerca in inglese | Methods and Models for Software Engineering in Safety- and Security-critical systems |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | L’obiettivo è di affrontare il problema della specifica dei requisiti di sicurezza, intesa nel duplice aspetto di safety e security. In particolare, verrano sviluppate metodologie per eseguire la verifica (semi)automatica dei requisiti in fase di progetto, sviluppo e sperimentazione del sistema. L’approccio utilizza strumenti logico-matematici per modellare il software e verificarne il corretto funzionamento basandosi sull’analisi automatica dei modelli. Si considererà anche di automatizzare la modellazione, ad esempio estraendo i modelli a partire da progetti o implementazioni esistenti. Verrà considerata la sintesi automatica di codice a partire dalle specifiche, o modelli di alto livello, con elevate garanzie di aderenza dell’implementazione rispetto ai modelli di partenza |
| Descrizione sintetica in inglese | The objective is to solve the problem of specifying security and safety requirements. The focus is on methodologies to verify in a (semi)automated way project requirements during design, implementation and testing phases. The approach is based on a mathematical framework to model software and to verify its correct behavior based on an automated analysis of the models. Automating software modelling will be considered, for instance by extracting models from existing designs or implementations. Automated code synthesis from specifications or high-level models will be also considered, so that implementation is guaranteed to be compliant with the original models. |
| Data del bando | 14/11/2014 |
| 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 | http://www.unige.it/concorsi/assricerca/ |
| 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 | 32690 |
| 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) |
Titolo di studio per partecipare alla selezione specificato nel bando per ogni programma di ricerca. Il bando per partecipare alla selezione è disponibile all'indirizzo: https://concorsi.unige.it/home Le domande e i CV spediti per e-mail non sono accettati |
| Criteri di selezione in inglese (breve descrizione) |
Qualification to participate to the selection specified in the notice for each research program. To apply for research grants: https://concorsi.unige.it/home Applications and CVs sent by e-mail are not accepted http://www.unige.it/concorsi/assricerca/ |
| Processo di selezione in italiano (breve descrizione) | valutazione dei titoli presentati e colloquio concernente gli argomenti previsti dal bando |
| Processo di selezione in inglese (breve descrizione) | evaluation of titles presented and interview on the subjects specified by the notice |
| Nome dell'Ente finanziatore | Università degli Studi di Genova |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Genova |
| Codice postale | 16126 |
| Indirizzo | Via Balbi, 5 |
| Sito web | http://www.unige.it/concorsi/assricerca/ |
| assegnisti@unige.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 15/12/2014 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://concorsi.unige.it/home |