Stage di tesi: verifica vulnerabilità UAS legacy tramite modelli formali

Informazioni sul ruolo

Leonardo cerca un giovane studente o studentessa da inserire in stage presso il sito di Ronchi dei Legionari, con l'obiettivo di sviluppare la tesi di laurea su "Cybersecurity on UAS legacy: verifica vulnerabilità tramite modelli formali". La tesi affronta le vulnerabilità dei sistemi aerei a pilotaggio remoto legacy, progettati senza difese informatiche, combinando reverse engineering e modelli formali per verificare proprietà di sicurezza come integrità, autenticità e disponibilità. La durata massima dello stage è di sei mesi ed è previsto un rimborso spese.

Responsabilità principali

• Analisi del sistema UAS legacy: raccolta della documentazione, ricostruzione dell'architettura software/hardware tramite reverse engineering, identificazione delle superfici d'attacco
• Reverse engineering e modellazione formale: estrazione dei flussi di comunicazione, definizione di modelli formali e validazione tramite simulazioni e analisi statica/dinamica
• Valutazione delle minacce secondo standard come DO 326A, NIST e ENISA, e definizione di contromisure tecniche e procedurali
• Supporto alla conformità normativa: analisi dei requisiti regolatori, evidenze e report tecnici
• Collaborazione con team di ingegneria, sicurezza, certificazione e safety, e partecipazione a revisioni tecniche e audit

Profilo richiesto

• Laurea magistrale in Informatica, Ingegneria Elettronica o dell'Automazione
• Competenze comportamentali: proattività, lavoro in team, orientamento all'apprendimento, flessibilità, comunicazione e orientamento al risultato
• Buona conoscenza della lingua inglese, scritta e parlata (livello B2/C1)

Competenze richieste

• Linguaggi di programmazione e capacità di sviluppare script, strumenti di analisi e piccole applicazioni
• Protocolli TCP e UDP, concetti base di cybersecurity e vulnerabilità nei sistemi embedded
• Sistemi operativi Linux e Windows

Il processo di selezione prevede la valutazione dei CV e un colloquio conoscitivo con le Risorse Umane e il Business, con feedback finale.