Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Ca' Foscari University of Venice - Research fellowship: Specification and Verification of Non-functional requirements of Robotics Software |
---|---|
Titolo del progetto di ricerca in inglese | Ca' Foscari University of Venice - Research fellowship: Specification and Verification of Non-functional requirements of Robotics Software |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | I sistemi automatizzati connessi alla rete internet sono sempre più pervasivi, e per questo è importante che la loro sicurezza sia garantita in modo efficace. Gli organi regolatori e l'industria lavorano continuamente alla definizione dei più alti standard di sicurezza e affidabilità. Ma, data la crescente complessità di questi prodotti, è necessario avere un sistema capace di garantire che questi standard vengano rispettati; la soluzione è la verifica formale: la scienza degli algoritmi corretti. Quello che oggi manca, è un sistema in grado di analizzare e verificare il sistema IoT nel suo insieme invece del singolo algoritmo. L’obiettivo del progetto è sviluppare una soluzione di sicurezza per i sistemi robotici, basata su verifica formale. |
Descrizione sintetica in inglese | Automated systems connected to the internet are increasingly pervasive, and for this reason it is important that their security is effectively guaranteed. Regulatory bodies and industry continuously work to define the highest safety and reliability standards. But, given the growing complexity of these products, it is necessary to have a system capable of guaranteeing that these standards are respected; the solution is formal verification. What is missing today is a system capable of analyzing and verifying the IoT system as a whole instead of the single algorithm. The goal of the project is to develop a safety solution for robotic systems, based on formal verification. |
Data del bando | 30/06/2022 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 24000 |
Periodicità | 12 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
EUROPE AFRICA OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
Nazionalità dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
Sito web del bando | https://www.unive.it/data/28825/ |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|---|
Importo annuale | 19367 |
Valuta | Euro |
Comprende lo stipendio dell'assegnista | yes |
Comprende vitto e spese di viaggio | no |
Comprende il costo della ricerca | no |
Criteri di selezione in italiano (breve descrizione) | CV, TITOLI, COLLOQUIO |
Criteri di selezione in inglese (breve descrizione) | CV, INTERVIEW |
Processo di selezione in italiano (breve descrizione) | CV, TITOLI, COLLOQUIO |
Processo di selezione in inglese (breve descrizione) | CV, INTERVIEW |
Nome dell'Ente finanziatore | UNIVERSITA' CA' FOSCARI VENEZIA |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Venezia |
Sito web | http://www.unive.it |
segreteria.dais@unive.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 18/07/2022 - alle ore 00:00 |
---|---|
Come candidarsi | https://apps.unive.it/domandeconcorso-en/accesso_cf/dais2022cortesispin |