Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Modellazione, simulazione, verifica e monitoraggio di sistemi cyber-fisici |
|---|---|
| Titolo del progetto di ricerca in inglese | Modeling, Simulation, Verification and Monitoring of Cyber-Physical Sistems |
| 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 è risolver il problema della modellazione, simulazione, verifica e monitoraggio dei sistemi cyber-fisici. L’attenzione è su metodologie che possano verificare in modo (semi)automatico i requisiti durante le fasi di progetto, implementazione e testing. L’approccio è basato su un inquadramento matematico per la modellazione dei sistemi e per la verifica del loro corretto comportamento basato su un’analisi algoritmica. L’automazione del progetto verrà altresì considerata, ad esempio valutando tecniche di estrazione dei modelli da progetti o implementazioni esistenti. La sintesi automatica del codice per il controllo e il monitoraggio verrà altresì valutata, in modo che le implementazioni possano essere dimostrati fedeli ai requisiti. |
| Descrizione sintetica in inglese | The objective is to solve the problem of modeling, simulating, verifying and monitoring of Cyber-Physical Systems. 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 systems and to verify their correct behavior based on an automated analysis of the models. Automating 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 | 15/01/2018 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| 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 | 27133 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Criteri di selezione in italiano (breve descrizione) | Titolo di studio per partecipare alla selezione specificato nel bando per ogni programma di ricerca. Il modulo 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) | The qualification to apply every selection is 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 |
| 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 presented titles 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 |
| Sito web | http://www.unige.it/concorsi/assricerca/ |
| dottorato-assegni@unige.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 14/02/2018 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://concorsi.unige.it/home |