Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Verifica formale automatizzata di sistemi real-time, Tecniche basate su logica per la verifica formale automatizzata di sistemi ibridi real-time, 2019_ASSEGNI_DEIB_207 |
|---|---|
| Titolo del progetto di ricerca in inglese | Automated formal verification of real-time systems, Logic-based techniques for the automated verification of hybrid real-time systems, 2019_ASSEGNI_DEIB_207 |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Il lavoro di ricerca si colloca nell'ambito delle tecniche innovative per la verifica automatica di proprietà di sistemi, con particolare attenzione ai sistemi critici real-time ibridi, che mischiano quantità discrete e continue. Il lavoro da svolgere riguarda la modellazione, verifica e validazione di sistemi che gestiscono dati i cui domini possono essere di natura diversa (discreta, oppure continua) ed infiniti, e che possono includere quantità parametriche. In particolare, l'obiettivo del lavoro è di estendere ed arricchire tecniche esistenti di verifica formale automatizzata per sistemi a tempo continuo basate sulla soddisfacibilità delle formule di logica temporale. |
| Descrizione sintetica in inglese | The research is developed in the domain of advanced techniques for the automatic verification of system properties, with particular focus on hybrid real-time systems, which mix both discrete and continuous quantities. The work concerns the modeling, verification and validation of systems that manage data whose domains are infinite and of different natures (discrete or continuous), and which can include parametric quantities. In particular, the goal of the work is to extend and enrich existing techniques for the automated verification of continuous-time systems based on the satisfiability of temporal logic formulae. |
| Data del bando | 31/07/2019 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
United States EUROPE |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.polimi.it/docenti-e-staff/bandi-e-concorsi/assegnidiricerca/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Importo annuale | 19377.48 |
| Valuta | Euro |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | Pertinenza dei titoli di studio con il programma di ricerca oggetto della selezione |
| Criteri di selezione in italiano (breve descrizione) | Coerenza del profilo complessivo del candidato rispetto ai contenuti del programma di ricerca oggetto della selezione |
| Criteri di selezione in italiano (breve descrizione) | Attinenza delle pubblicazioni, delle tesi e dei prodotti scientifici presentati con il programma di ricerca oggetto della selezione |
| Criteri di selezione in italiano (breve descrizione) | Colloquio inteso ad accertare l'attitudine del candidato alla ricerca oggetto della selezione |
| Criteri di selezione in inglese (breve descrizione) | Relevance of qualifications with the research programme object of selection |
| Criteri di selezione in inglese (breve descrizione) | Consistency of the candidate's overall profile with respect to the content of the research programme for selection |
| Criteri di selezione in inglese (breve descrizione) | Close relevance of publications submitted with the research programme object of selection |
| Criteri di selezione in inglese (breve descrizione) | Interview aimed at ascertaining the candidate's aptitude for the research object of the selection |
| Processo di selezione in italiano (breve descrizione) | Per partecipare alla selezione, si prega di leggere il bando disponibile sul sito web: https://www.polimi.it/docenti-e-staff/bandi-e-concorsi/assegnidiricerca/ |
| Processo di selezione in inglese (breve descrizione) | In order to participate in the selection, please read the call ("bando") available at the following website: https://www.polimi.it/en/faculty-and-staff/calls-and-competitions/research-grants/ |
| Nome dell'Ente finanziatore | Politecnico di Milano |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Milan |
| Sito web | https://www.polimi.it/ |
| assegniricerca@polimi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 30/09/2019 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://aunicalogin.polimi.it/aunicalogin/getservizio.xml?id_servizio=1079 |