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
Tipo di contratto: Stage (tirocinio)
Mod

📌 Tesi - UAS legacy: Verifica vulnerabilità tramite modelli formali (Italia)
🏢 Altro
📍 Italia