Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Sperimentazione di metodi di modellazione formale e semi-formale e di tecniche e strumenti avanzati di analisi applicati all'ingegneria del software. |
|---|---|
| Titolo del progetto di ricerca in inglese | Experimentation with formal and semi-formal methods and with advanced analysis techniques and tools applied to software engineering. |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Attività di sviluppo di modelli formali e semiformali di sistemi di segnalamento ferroviario o di altri sistemi di stazione, a partire dalle loro specifiche industriali, e attività di analisi del comportamento di questi modelli attraverso simulazione e tecniche di verifica formale considerando condizioni e scenari diversi forniti dagli esperti del dominio. |
| Descrizione sintetica in inglese | Development of formal and semi-formal models of railway signalling systems or of other railway station systems from given industrial specifications, and analysis of their behaviour through simulations and formal verification techniques considering different conditions and scenarios provided by the domain experts. |
| Data del bando | 09/11/2020 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
OTHER |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | http://www.isti.cnr.it |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | CNR - ISTI |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Pisa |
| Sito web | http://www.urp.cnr.it |
| sag@isti.cnr.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | H2020 |
|---|
| Data di scadenza del bando | 07/12/2020 |
|---|---|
| Come candidarsi | Other |