Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Metodologie innovative per la progettazione, verifica e validazione per sistemi safety-critical, con applicazione al progetto SISTER |
---|---|
Titolo del progetto di ricerca in inglese | UNIVERSITY OF FLORENCE – Innovative methodologies for the design, verification and validation of safety critical systems, with application to the SISTER project PUBLISHED ON THE “ALBO UFFICIALE” WITH N. 2796/2017 del 08/03/2017 |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Computer systems |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Informatics |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Computer architecture |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Systems design |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Collocata nell’ambito del progetto Regionale SISTER, l’attività di ricerca si pone l’obiettivo di studiare e realizzare soluzioni innovative per la progettazione, verifica e validazione di sistemi critici per la sicurezza, con particolare attenzione al dominio ferroviario. Il progetto prevede come caso applicativo un sistema di sorveglianza della linea tramviaria. Inoltre, è prevista e benvenuta la possibilità e intraprendenza del ricercatore per apportare contributi su altre tematiche affini al progetto. |
Descrizione sintetica in inglese | As part of the SISTER Regional project, the research project aims at studying and developing innovative solutions for the design, verification and validation of safety-critical systems, with particular reference to the railway domain. The project includes a case study on surveillance of light rail tracks. Importantly, the researcher is expected and invited to contribute to research challenges that are not limited to the above project although broadly related |
Data del bando | 08/03/2017 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 30.669 |
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 | http://titulus.unifi.it/albo/viewer?view=files%2F002405225-UNFICLE-8465aad5-b06e-47a8-b332-82e7daf49058-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 | 25.177 |
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) | Pubblicazioni, partecipazione a progetti di ricerca, capacità di lavorare in team, Dottorato in Informatica o tematiche affini |
Criteri di selezione in inglese (breve descrizione) | Publications, partecipation to research project, ability to work in group, PhD in Computer Science or related areas |
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 | 23/03/2017 |
---|---|
Come candidarsi | Other |