Tesi - uas legacy: verifica vulnerabilità tramite modelli formali

Questa posizione è in Leonardo

Riassunto dell'opportunità da parte della Joinrs AI : Leonardo cerca un Junior per uno stage con tesi di laurea magistrale in Informatica, Ingegneria Elettronica o Automazione . Il candidato svilupperà un progetto sull' analisi della cybersecurity di sistemi UAS legacy , supportato da tutor esperti. L’esperienza dura fino a sei mesi con rimborso spese e offre formazione e confronto con team interdisciplinari.

Il processo di selezione sarà interamente gestito da Leonardo.

--

Job Description:

Leonardo è un gruppo industriale internazionale leader nei settori Aerospazio, Difesa e Sicurezza, con oltre 60.000 dipendenti in tutto il mondo e presenza globale in più di 150 paesi. L’azienda è partner tecnologico di Governi e istituzioni, con un focus sull’innovazione e la sostenibilità.

Tutor esperti guideranno il candidato nell’approfondimento teorico e nello sviluppo della tesi, offrendo preparazione per future sfide professionali.

Le tematiche delle tesi comprendono molti settori tecnologici e di ricerca, tra cui Intelligenza Artificiale, Cyber Security e Ingegneria dei Materiali, con possibilità di esplorare settori altamente innovativi.

Durante il tirocinio, della durata massima di sei mesi, è previsto un rimborso spese.

Si cerca uno studente per stage con tesi incentrata sulla sicurezza informatica di UAS legacy, titolo: " Verifica di vulnerabilità tramite modelli formali ", presso il sito di Ronchi dei Legionari.

L’integrazione crescente di sistemi aerei senza pilota (UAS) in contesti operativi critici richiede di affrontare sistematicamente le vulnerabilità dei sistemi legacy, privi di difese cyber aggiornate.

Obiettivo della tesi è sviluppare una metodologia basata su:

• reverse engineering hardware/software per identificare punti di vulnerabilità;
• modelli formali per la verifica delle proprietà di sicurezza (integrità, autenticità, disponibilità) e validazione delle contromisure.

Le principali attività includono:

• Analisi del sistema UAS legacy: raccolta documentazione, ricostruzione architettura tramite reverse engineering, identificazione vulnerabilità;
• Reverse engineering e modellazione formale: estrazione comportamenti e flussi di comunicazione, definizione e validazione di modelli formali;
• Cybersecurity e resilienza: valutazione minacce secondo standard (DO 326A, NIST, ENISA), definizione contromisure tecniche e procedurali;
• Supporto alla conformità normativa: analisi delle normative emergenti, supporto nella preparazione di documentazione tecnica e report;
• Collaborazione interdisciplinare: interfaccia con team di ingegneria, sicurezza, certificazione e sicurezza, partecipazione a revisioni tecniche e audit.

Requisiti formativi e tecnici:

• Laurea magistrale in Informatica, Ingegneria Elettronica o Automazione;
• conoscenza linguaggi di programmazione per sviluppo di script e strumenti di analisi;
• conoscenza protocolli di comunicazione TCP/UDP;
• conoscenze base di cybersecurity, vulnerabilità in sistemi embedded e protocolli di rete;
• capacità di individuare superfici di attacco in software e comunicazioni.

Competenze comportamentali: proattività, lavoro in team, orientamento all’apprendimento, flessibilità, comunicazione e orientamento al risultato.

Conoscenza linguistica: buon inglese scritto e parlato (livello B2/C1).

Competenze informatiche: sistemi operativi Linux e Windows.

Processo di selezione: previste valutazione CV, colloquio con risorse umane e business per approfondire aspetti tecnici, motivazionali e attitudinali, con feedback finale.

Attendiamo la tua candidatura.

Collaborando con Leonardo affronterai sfide tecnologiche d’avanguardia, valorizzerai le tue competenze e costruirai un percorso professionale di eccellenza.

Seniority: Junior

Primary Location: IT - Ronchi dei Legionari

Contract Type:

Hybrid Working: In loco

--

(#J-ENTERPRISE)