Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Ca' Foscari University of Venice - Research fellowship for specific project:Formal Specification for Secured Software System |
---|---|
Titolo del progetto di ricerca in inglese | Ca' Foscari University of Venice - Research fellowship for specific project:Formal Specification for Secured Software System |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Informatics |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | L’obiettivo del progetto è studiare l’integrazione di politiche di sicurezza di sistemi critici all’interno della loro specifica dei requisiti, utilizzando metodi formali per individuare ambiguità e inconsistenze nella fase di specifica all’interno del ciclo di vista dello sviluppo dei sistemi. Si prevede l’aplicazione di tecniche lightweight per la verifica e validazione nella fase di ingegneria dei requisiti. Verranno utilizzati modelli quali Event-B e iSTAR per la specifica dei requisiti in modo da poter verificare la compliance del software rispetto a vincoli di sicurezza.Le attività di ricerca si collocano all’interno del Progetto congiunto Italia – India IN17MO07. |
Descrizione sintetica in inglese | The objective of the project is to investigate whether security policies of a (possibly safety critical) system could be integrated into the formal requirement specification using formal methods, in order to detect ambiguities and inconsistencies within the specification phase in Software development life-cycle. In this direction, we will apply lightweight techniques for validation and verification towards securing the application right at the requirement engineering stage. In particular, we will apply modeling languages like Event-B and iSTAR to specify and analyze the requirements so that the design of application software itself is compliant to the security criteria.The research activities are related to the Join Project Italia – India IN17MO07. |
Data del bando | 26/09/2017 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 23657 |
Periodicità | 12 |
E' richiesta mobilità internazionale? | yes |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
OCEANIA AFRICA EUROPE NORTH AMERICA SOUTH AMERICA ASIA |
Nazionalità dei candidati |
OCEANIA AFRICA EUROPE NORTH AMERICA SOUTH AMERICA ASIA |
Sito web del bando | http://www.unive.it/data/28825/ |
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? | no |
Importo annuale | 19.367 |
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) | 12 |
Criteri di selezione in italiano (breve descrizione) | TITOLI, PUBBLICAZIONI E COLLOQUIO |
Criteri di selezione in inglese (breve descrizione) | CV AND INTERVIEW |
Processo di selezione in italiano (breve descrizione) | TITOLI, PUBBLICAZIONI E COLLOQUI |
Processo di selezione in inglese (breve descrizione) | CV AND INTERVIEW |
Nome dell'Ente finanziatore | UNIVERSITA' CA' FOSCARI VENEZIA |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | venezia |
Codice postale | 30123 |
Indirizzo | DORSO DURO 3246 |
Sito web | http://www.unive.it |
cortesi@unive.it | |
Telefono | +00390412348450 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 16/10/2017 - alle ore 00:00 |
---|---|
Come candidarsi | http://static.unive.it/domandeconcorso-en/accesso/dais43718cortesi |