Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Tools4Sos – Metodologie di modellizzazione e tool per la validazione e prototipazione di cyber physical systems of systems - Pubblicato sull'Albo Ufficiale n. 3976 del 28/03/2018 |
---|---|
Titolo del progetto di ricerca in inglese | UNIVERSISTY OF FLORENCE - Tools4Sos - Modelling methodologies and supporting tools for early validation and prototyping of cyber physical systems of systems PUBLISHED ON THE “ALBO UFFICIALE” WITH N. 3976 del 28/03/2018 |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Modelling tools |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | I sistemi di sistemi cyber fisici sono sistemi computazionali indipendenti ma collegati fra loro per collaborare in periodi di tempo limitati al fine di raggiungere un obiettivo comune ben definito, e spesso molto critico. I moderni systems of sytems hanno raggiunto un grado di complessità strutturale e funzionale che rende molto difficile, ed in molti casi impossibile, analizzarne o verificarne il comportamento. Diventa quindi fondamentale ricercare nuove metodologie di modellizzazione e nuovi tool ad hoc per gestire ed automatizzare le varie fasi di analisi, verifica e validazione. Il progetto si pone quindi come obiettivo principale quello di studiare metodologie di modellizzazione e di realizzare tools specifici per la progettazione e il supporto alle varie analisi di V&V secondo il paradigma del Model Driven Engineer. Particolare interesse sarà rivolto verso i settori automotive e ferroviario ed ai relativi standard di sicurezza ISO26262 e Cenelec 501xx |
Descrizione sintetica in inglese | The cyber physical systems of systems are independent but interconnected computational systems that collaborate in a certain period of time to achieve a well-defined, and often very critical, common goal. Modern systems of systems have reached a degree of structural and functional complexity that makes it very difficult, and in many cases impossible, to analyze or verify their behavior. It becomes therefore essential to research new modeling methodologies and new ad hoc tools to manage and automate the various phases of analysis, verification and validation. The main objective of the project is to study modeling methodologies and specific tools for the design and support of the various V & V analyses according to the Model Driven Engineer paradigm. Particular interest will be directed towards the automotive and railway sectors and to the related safety standards ISO26262 and Cenelec 501xx |
Data del bando | 28/03/2018 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 54.000 |
Periodicità | 24 mesi |
E' richiesta mobilità internazionale? | no |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
EUROPE |
Nazionalità dei candidati |
EUROPE |
Sito web del bando | https://titulus.unifi.it/albo/viewer?view=files%2F002740123-UNFICLE-1f311718-235a-43ee-8712-4edb03060b80-000.pdf |
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 | 27000 |
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) | 24 |
Criteri di selezione in italiano (breve descrizione) | Essere titolare di un diploma di dottorato (o titoli esteri equivalenti) oppure essere titolare di Laurea specialistica o di Laurea del V.O. con almeno tre anni di esperienza di ricerca documentata presso Università e/o Enti di Ricerca pubblici o privati. I titoli di studio sono richiesti in Informatica, Ingegneria Informatica, Ingegneria Elettronica, Ingegneria delle Comunicazioni, Fisica o Matematica. Sono richiesti conoscenze di base sulle tematiche del progetto. |
Criteri di selezione in italiano (breve descrizione) | Non aver già compiuto il 36° anno di età alla data di presentazione della domanda di partecipazione al presente bando |
Criteri di selezione in italiano (breve descrizione) | Avere domicilio in Toscana alla data di presentazione della domanda di partecipazione al presente bando |
Criteri di selezione in italiano (breve descrizione) | Non essere stato titolare di assegni di ricerca conferiti ai sensi della L. 240/2010 per più di quattro anni |
Processo di selezione in italiano (breve descrizione) | Il concorso è per titoli e per colloquio |
Processo di selezione in inglese (breve descrizione) | The competition will be carried out by an evaluation of titles and examination, by means of an interview |
Nome dell'Ente finanziatore | Università degli Studi di Firenze - Dipartimento di Matematica e Informatica 'Ulisse Dini' |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Firenze |
Sito web | http://www.unifi.it |
chantal.gabrielli@unifi.it | |
Telefono | 0039-055-2751450 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 27/04/2018 |
---|---|
Come candidarsi | Other |