Profilo professionale: Ricercatore liv. 3 Numero posti a concorso: 1 - Pubblicato sulla Gazzetta Ufficiale 4° serie speciale concorsi n. n. 93 del 05/12/2017; Area scientifica: Informatica

Diplomi di laurea: Informatica, Ingegneria informatica, Tecnologie Informatiche. Requisiti:

• titolo di Dottore di Ricerca pertinente ovvero aver svolto per un triennio attività di ricerca in settori inerenti alle competenze specifiche del bando;
• comprovata esperienza nella modellazione di sistemi ferroviari e nell’utilizzo di strumenti di supporto alla loro verifica e validazione formale;
• conoscenza delle tecniche per l’elicitazione di requisiti oppure delle tecniche per la loro analisi;
• conoscenza di linguaggi di progettazione e modellazione semi formale oppure formale per sistemi ferroviari tra i seguenti: Matlab/Simulink/SCADE/UML/SYSML, Petri Nets, Stochastic Activity Networks;
• conoscenza di strumenti di model checking per la verifica formale di sistemi software di controllo;
• conoscenza della lingua inglese e dell’informatica di base;
• conoscenza della lingua italiana (solo per i cittadini stranieri).