Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Studio e analisi per l’utilizzo di tecniche di modellazione e verifica formale orientate all'ottimizzazione di componenti software per l'avionica |
|---|---|
| Titolo del progetto di ricerca in inglese | Study and analysis for the use of modeling techniques and formal verification aimed at optimizing software components for avionics |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | L’attività in oggetto ha come obiettivo l’utilizzo di strumenti di analisi formale per l’identificazione di errori e di eventuali lacune in fase di specifica del software. Tali metodi formali possono essere applicati in maniera complementare alla fase di testing, in cui il software da analizzare viene eseguito al fine di verificarne la correttezza sulla base di predeterminati step di esecuzione e dati di input, confrontando a posteriori l'output generato con quello documentato nelle specifiche del sistema |
| Descrizione sintetica in inglese | The activity aims to use formal analysis tools to identify errors and any gaps in the software specification phase. These formal methods can be applied in a complementary way to the testing phase, in which the software to be analyzed is run in order to verify its correctness on the basis of predetermined execution steps and input data, comparing the output generated retrospectively with that documented in the system specifications. |
| Data del bando | 18/02/2020 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | http://www.poliba.it |
| Destinatari dell'assegno di ricerca (of target group) |
More Experienced researcher or >10 yrs (Senior) |
|---|---|
| Altri costi in italiano | E’ richiesto che il candidato alleghi alla domanda di partecipazione alla procedura per il conferimento dell’assegno, ricevuta di versamento pari ad € 25,82 a favore del Politecnico di Bari, Via Amendola n. 126/B, 70126, BARI - ITALIA, C/C 9704, come richiesto dal bando di selezione |
| Altri costi in inglese | Candidates are requested to forward receipt of payment of € 25,82 in favour of Politecnico di Bari, Via Amendola n. 126/b, 70126 BARI - ITALY, C/C 9704, together with the application for attending the procedure for awarding the research grant, as demanded by the announcement of selection |
| Criteri di selezione in italiano (breve descrizione) | VALUTAZIONE PER TITOLI E COLLOQUIO |
| Criteri di selezione in inglese (breve descrizione) | Assessment on the basis of academic qualifications and an oral examination |
| Nome dell'Ente finanziatore | Politecnico di Bari |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bari |
| Sito web | http://www.poliba.it |
| michele.ruta@poliba.it | |
| Telefono | +390805963515 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 19/03/2020 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |