Tesi - Uas Legacy: Verifica Vulnerabilità Tramite Modelli Formali
Pubblicato il 01-08-2026 - Leonardo in Italia
Posizione Stage di ricerca e sviluppo in Cybersecurity on UAS legacy: Verifica vulnerabilità tramite modelli formali .Durata
Massimo 6 mesi.
Responsabilità
- Analisi del sistema UAS legacy: raccolta e studio della documentazione disponibile;
ricostruzione dell’architettura software/hardware;
identificazione delle superfici d’attacco e delle vulnerabilità strutturali.
- Reverse engineering e modellazione formale: estrazione dei comportamenti funzionali e dei flussi di comunicazione;
definizione di modelli formali per la verifica di proprietà di sicurezza e resilienza;
validazione tramite simulazioni e analisi statica/dinamica.
- Cybersecurity e resilienza: valutazione delle minacce secondo standard e best practice (DO 326A, NIST, ENISA) e definizione di contromisure tecniche e procedurali applicabili a sistemi legacy.
- Supporto alla conformità normativa: analisi dei requisiti regolatori emergenti per UAS e sistemi critici;
contributo alla preparazione di evidenze, report tecnici e documentazione di conformità.
- Collaborazione interdisciplinare: interfaccia con team di ingegneria,
sicurezza, certificazione e safety;
partecipazione a revisioni tecniche, audit interni e attività di governance.
Requisiti
- Laurea magistrale in Informatica, Ingegneria Elettronica o Automazione.
- Competenze nei principali linguaggi di programmazione, capacità di sviluppare script e strumenti di analisi.
- Conoscenza dei protocolli TCP e UDP.
- Comprensione dei concetti fondamentali di cybersecurity, vulnerabilità nei sistemi embedded e nei protocolli di rete.
- Capacità di identificare superfici di attacco elementari in sistemi software e comunicazioni.
- Buona conoscenza della lingua inglese (scritta e parlata) livello B2/C1.
- Sistemi operativi Linux e Windows.
Competenze comportamentali
- Proattività
- Capacità di lavorare in team
- Orientamento all’apprendimento
- FlessibilitàComunicazione
- Orientamento al risultato
Informazioni logistici
- Località: IT – Ronchi dei Legionari
-