Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Collaboratore alla ricerca in approccio linguistico alla sicurezza del software |
|---|---|
| Titolo del progetto di ricerca in inglese | Researche collaborator in language based approach to limiting software vulnerability |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Il ricercatore selezionato lavorerà con i membri dell'unità Sysma in un programma che mira a sviluppare nuovi metodi per limitare la vulnerabilità del software, estendendo il paradigma basato sugli attributi per l'interazione sistema adattivo collettiva per affrontare le questioni relative alla sicurezza dei programmi. In particolare, il ricercatore selezionato prenderà in considerazione i problemi legati al controllo accessi e studiare la possibilità di far valere gli attributi esposti dai colleghi che interagiscono per garantire la sicurezza degli accessi. |
| Descrizione sintetica in inglese | The selected researcher will work with the members of the SYSMA unit in a program aiming at developing new methods for limiting software vulnerability by extending the attribute-based paradigm for collective adaptive system interaction to dealing with issues related to programs security. In particular, the selected researcher will consider the problems connected to access control and study the possibility of relying on the attributes exposed by the interacting peers for guaranteeing security of accesses. |
| Data del bando | 29/11/2016 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | https://www.imtlucca.it/school/job-opportunities/academic/308 |
| 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? | yes |
| Importo annuale | 25000 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | Molto buona capacità di programmazione orientata agli oggetti, esperienza precedente nella implementazione di linguaggi. Ottima conoscenza dell'uso dei metodi formali per la specifica di proprietà di sistemi e ottima conoscenza delle tecniche di verifica di programmi. La conoscenza delle problematiche di sicurezza è auspicabile cosi come una buona conoscenza delle tecniche di controllo degli accessi. |
| Criteri di selezione in inglese (breve descrizione) | Very good ability in object oriented programming , previous expertise in languages implementation. Very good knowledge of the use of formal methods for specifying systems properties and very good knowledge of programs verification techniques. Some knowledge of security issues is preferable as well as a good knowledge of access control techniques. |
| Nome dell'Ente finanziatore | Scuola IMT Alti Studi Lucca |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | LUCCA |
| Sito web | https://www.imtlucca.it/ |
| researchers.opening@imtlucca.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 14/12/2016 |
|---|---|
| Come candidarsi | https://www.imtlucca.it/school/job-opportunities/academic/308 |