Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi formali quantitativi per la computazione affidabile |
|---|---|
| Titolo del progetto di ricerca in inglese | Quantitative formal methods for trustworthy computing |
| Campo principale della ricerca | Information science |
| Sottocampo della ricerca | Other |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il progetto PRIN "CINA" offre un assegno di ricerca post-doc della durata di un anno, rinnovabile, presso il Dipartimento di Statistica, Informatica, Applicazioni (DiSIA) dell'Università di Firenze. L'argomento su cui il candidato selezionato si impegnerà è quello dei metodi formali quantitativi per la computazione affidabile. Lo scopo del progetto è quello di sviluppare tecniche di analisi robuste, che combinino per la prima volta metodi formali "qualitativi" (analisi statica, model checking) e quantitativi (statistici, probabilistici o basati su machine learning). Una importante sfida che ci si aspetta il candidato possa affrontare e risolvere è quella di riformulare aspetti quantitativi, come l'information flow quantitativo, e probabilistici, come la valutazione di eventi rari, in sistemi collettivi, nel formalismo del model checking basato su SAT. |
| Descrizione sintetica in inglese | Title: Quantitative formal methods for trustworthy computing The MIUR funded project CINA offers a 1 year, possibly renewable, post-doctoral position at the Department of Statistics, Informatics, Applications (DiSIA) of University of Florence. The main topic the selected candidate will work on is “Quantitative methods for Trustworthy Computing Systems”. The aim of this project is to develop roboust analysis techniques, by combining for the first time formal “qualitative” methods (static analysis, symbolic model checking) and quantitative (statistical, probabilistic, machine-learning based) methods into a single framework. A major challenge the candidate is expected to face and to solve, is how to cast quantitative aspects such as information flow based on entropy measurement and probabilisitc evaluation of rare properties of large, collective systems, into the formalism of symbolic, SAT-based model checking. |
| Data del bando | 28/07/2014 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23075 |
| Periodicità | annuale |
| E' richiesta mobilità internazionale? | yes |
| 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 Magistrale o equivalente , in Informatica o Ingegneria Informatica o Statistica, o Matematica |
| Criteri di selezione in inglese (breve descrizione) | Master degree in Computer Science, or computer engineering , or statistics or mathematics |
| Processo di selezione in italiano (breve descrizione) | concorso per titoli e 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 |
| Codice postale | 50134 |
| Indirizzo | Viale Morgagni 59 |
| 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 | 06/10/2014 |
|---|---|
| Come candidarsi | Other |