Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Progettazione e sviluppo di strumenti formali per l'analisi qualitativa e quantitativa di sistemi concorrenti e distribuiti (pubblicato con n. 2295 sull'Albo Ufficiale) |
|---|---|
| Titolo del progetto di ricerca in inglese | Design and development of formal tools for the qualitative and quantitative analysis of concurrent and distributed systems (published on the |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Modelling tools |
| Area CUN | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | L’attività di ricerca si colloca nell’ambito dello studio e dell’uso degli strumenti formali per la specifica e verifica di proprietà qualitative e quantitative di sistemi concorrenti e distribuiti. L’attività di ricerca sarà strutturata in due attività. Una prima attività si concentrerà sullo studio di modelli e linguaggi per la specifica e verifica di proprietà di sistemi a larga scale. In questo ambito si prevede di studiare strumenti formali che, grazie anche a meccanismi di astrazione, consentano di trattare modelli non facilmente gestibili con gli attuali strumenti disponibili. Una seconda attività prevede la progettazione e lo sviluppo di un software modulare ed estendibile per la di specifica e verifica di sistemi. In questo ambito verranno enfatizzati gli aspetti di usabilità per facilitare l'uso ai non esperti |
| Descrizione sintetica in inglese | The research activity for this position is related to the study and the use of formal tools for supporting specification and verification of qualitative and quantitative properties of concurrent and distributed systems. The work will be structured by considering two main activities. One activity will be devoted to the study of models and languages specifically thought for supporting specification and verification of large scale systems. In this context we plan to study the specific formal tools that, thanks to the suitable abstraction mechanisms, permits to handle models that cannot be analysed with the standard tools. A second activity will concern on the design and development of a modular and extensible framework that support the specification and verification of systems. To let the tool available also to users that are not familiar with formal methods, particular attention will be paid to usability aspects. |
| Data del bando | 28/05/2014 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23075 |
| Periodicità | annuale |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://unifi.it/albo-ufficiale.html |
| 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 | 23075 |
| 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) | laurea specialistica o Magistrale in Informatica o Ingegneria Informatica |
| Criteri di selezione in inglese (breve descrizione) | Master Degree in Computer Science or Computer Engineering. |
| 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 | UNIVERSITA' STUDI FIRENZE-Dipartimento di Statistica-Informatica Applicazioni |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Firenze |
| Sito web | http://www.unifi.it |
| disia@disia.unifi.it | |
| Telefono | 0552751500 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 12/06/2014 |
|---|---|
| Come candidarsi | Other |