Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi matematici per l'analisi di sistemi fisico cibernetici. |
|---|---|
| Titolo del progetto di ricerca in inglese | Mathematical methods for the analysis of cyber-physical systems. |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | MAT/07 - FISICA MATEMATICA |
| Descrizione sintetica in italiano | Lo scopo di questa ricerca è di implementare una metodologia matematicamente fondata per modellare e analizzare sistemi CPS (cyber-physical system), cioè sistemi che coinvolgono processi fisici, hardware, software e reti di comunicazione. Il risultato atteso è la capacità di sviluppare e mantenere un software di controllo affidabile e sicuro con garanzie formali relative all'esecuzione del modello, alla combinazione e alla verifica. Gli algoritmi saranno sviluppati con particolare attenzione all'automazione che supporta e collega le diverse fasi del ciclo di vita del software di controllo. Questa ricerca mira a costruire una metodologia precisa, ma facile da usare, per modellare i sistemi CPS con relativi requisiti, simularne il comportamento e verificarli rispetto ai requisiti. |
| Descrizione sintetica in inglese | The aim of this research is to implement a mathematically well-founded methodology to aid modeling and analysis of Cyber-Physical Systems, i.e., including intertwining physical processes, hardware, software, and communication networks. The expected outcome is the capability to develop and maintaining dependable and secure control software for CPSs, with formal guarantees regarding model execution, combination, and verification. Algorithms will be “ad hoc” developed, with a focus on practically-feasible automation supporting and bridging different phases of the control software lifecycle. This research aims to construct a precise, yet easy to use, methodology to model CPSs and requirements about them, simulate the behavior of such systems, and verify them against requirements. |
| Data del bando | 15/05/2018 |
| Numero di assegnazioni per anno | 1 |
| 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) |
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 |
| 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/06/2018 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://concorsi.unige.it/home |