Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Linguaggi, modelli ed algoritmi per la configurazione di logica di sicurezza per impianti ferroviari |
|---|---|
| Titolo del progetto di ricerca in inglese | Languages, models and algorithms for security logics configuration of railways systems |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Other |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il lavoro di ricerca consiste nella realizzazione di algoritmi, basati su linguaggi e modelli appropriati, per la configurazione della logica di sicurezza di un sistema di controllo per impianti ferroviari, che è costituita dai seguenti passi: generazione di Tabella delle Condizioni (TdC) a partire da un Piano Schematico (PS) e dalla definizione di Itinerari su di esso; definizione e interpretazione delle queries per la popolazione del modello dei dati in input la configurazione della logica di sicurezza, a partire dal PS e dalla TdC. |
| Descrizione sintetica in inglese | The research work consists in the design and implementation of algorithms, based on appropriate languages and models, for the configuration of the safety logic of a control system for railway systems, which consists of the following steps: generation of the Table of Conditions (TdC) starting from a Schematic Plan (PS) and by the definition of Itineraries; definition and interpretation of queries for the population of the input data model to the configuration of the safety logic, starting from the PS and TdC. |
| Data del bando | 20/05/2020 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 24.500 |
| Periodicità | mensile |
| E' richiesta mobilità internazionale? | no |
| 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.univaq.it/section.php?id=766 |
| 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? | no |
| Importo annuale | 24.500 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Criteri di selezione in italiano (breve descrizione) |
titoli e colloquio |
| Criteri di selezione in inglese (breve descrizione) |
qualifications and interview |
| Nome dell'Ente finanziatore | UNIVERSITA' DEGLI STUDI DELL'AQUILA |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | L'AQUILA |
| Codice postale | 67100 |
| Indirizzo | VIA VETOIO |
| Sito web | http://www.univaq.it |
| vittorio.cortellessa@univaq.it | |
| alfonso.pierantonio@univaq.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 04/06/2020 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://pica.cineca.it |