Jobs Companies Leonardo Tesi - UAS legacy: Verifica vulnerabilità tramite modelli formali

Über diese Tesi - UAS legacy: Verifica vulnerabilità tramite modelli formali Stelle bei Leonardo

Leonardo · Vor Ort · IT - Ronchi dei Legionari
Diese Stellenanzeige ist auf Italian.

Job Description:

Leonardo è un gruppo industriale internazionale, tra le principali realtà mondiali nell’Aerospazio, Difesa e Sicurezza che realizza capacità tecnologiche multidominio in ambito Elicotteri, Velivoli, Aerostrutture, Elettronica, Cyber Security e Spazio. Con oltre 60.000 dipendenti nel mondo, l’azienda ha una solida presenza industriale in Italia, Regno Unito, Polonia, Stati Uniti, e opera in 150 paesi anche attraverso aziende controllate, joint venture e partecipazioni. Protagonista dei principali programmi strategici a livello globale, è partner tecnologico e industriale di Governi, Amministrazioni della Difesa, Istituzioni e imprese. Nel 2024 Leonardo ha registrato ricavi consolidati pari a € 17,8 mld, nuovi ordini per € 20,9 mld, e ha investito € 2,5 mld in attività di R&S. Innovazione, ricerca continua, industria digitale e sostenibilità sono i pilastri del suo business nel mondo.

Tutor esperte/i nel proprio settore ti seguiranno, consentendoti di approfondire la parte teorica e di sviluppare la tua tesi, preparandoti al meglio per le sfide professionali future.

Le tematiche proposte per le tesi da svolgere in Leonardo abbracciano un vasto spettro di ambiti tecnologici, ricerca e innovazione: dall’Intelligenza Artificiale all’High-Performance Computing, dalla Cyber Sicurezza all’Ingegneria dei materiali, passando per i settori aerospaziali. Potrai esplorare le aree più all’avanguardia del tuo settore di studi, con creatività e spirito di innovazione.

Per supportarti nel corso di questa esperienza, della durata massima di sei mesi, è previsto inoltre un rimborso spese.

Stiamo ricercando n. 1 giovane studente o studentessa da inserire in stage, con l’obiettivo di sviluppare la propria tesi di laurea sul tema relativo alla Cybersecurity on UAS legacy: “Verifica vulnerabilità tramite modelli formali” presso il sito di Ronchi dei Legionari.

La crescente integrazione dei sistemi aerei a pilotaggio remoto (UAS) in contesti operativi critici rende necessario affrontare in modo sistematico le vulnerabilità degli UAS legacy, vulnerabili perché progettati senza difese informatiche attuali.

La tesi intende colmare questo divario attraverso un approccio metodologico fondato su:

  • Reverse engineering hardware/software, individuando punti di ingresso vulnerabili.
  • Modelli formali che formalizzano e verificano proprietà di sicurezza (integrità, autenticità, disponibilità) garantendo correttezza delle contromisure.

Combinando questi approcci si ottiene una metodologia per rafforzare retroattivamente la resilienza dei sistemi esistenti, riducendo i rischi di attacchi e migliorando la sicurezza del sistema UAS.

Principali attività:

Analisi del sistema UAS legacy

  • Raccolta e studio della documentazione disponibile;
  • Ricostruzione dell’architettura software/hardware tramite tecniche di reverse engineering;
  • 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 dei modelli tramite simulazioni e analisi statica/dinamica.

Cybersecurity e resilienza

  • Valutazione delle minacce secondo standard e best practice (es. DO 326A, NIST, ENISA);
  • Definizione di contromisure tecniche e procedurali applicabili a sistemi legacy.

Principali attività:

Analisi del sistema UAS legacy

  • Raccolta e studio della documentazione disponibile;
  • Ricostruzione dell’architettura software/hardware tramite tecniche di reverse engineering;
  • 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 dei modelli tramite simulazioni e analisi statica/dinamica.

Cybersecurity e resilienza

  • Valutazione delle minacce secondo standard e best practice (es. DO 326A, NIST, ENISA);
  • 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.

Titolo di studio: Laurea Magistrale in Informatica, Ingegneria Elettronica, dell’Automazione.

Seniority: Junior

Conoscenze e competenze tecniche:

  • Competenze nei principali linguaggi di programmazione, con capacità di sviluppare script, strumenti di analisi e piccole applicazioni;
  • Conoscenza dei protocolli di comunicazione di rete TCP e UDP;
  • Comprensione dei concetti fondamentali di cybersecurity, incluse le vulnerabilità comuni nei sistemi embedded e nei protocolli di rete;
  • Capacità di identificare superfici di attacco elementari in sistemi software e comunicazioni.

Competenze comportamentali:

  • Proattività;
  • Capacità di lavorare in team;
  • Orientamento all’apprendimento;
  • Flessibilità;
  • Comunicazione;
  • Orientamento al risultato.

Conoscenze linguistiche:

  • Buona conoscenza della lingua inglese, scritta e parlata livello B2/C1.

Conoscenze informatiche:

  • Sistemi operativi Linux e Windows.

Come funziona il processo di selezione?

A seguito della raccolta delle candidature, vengono valutati e identificati i CV maggiormente in linea con i requisiti richiesti.

Le/i candidate/i selezionate/i sostengono un colloquio conoscitivo con il team delle Risorse Umane e con il Business, dove saranno approfondite tematiche tecniche, motivazione e attitudini personali.

Al termine del processo, alla persona viene restituito un feedback, sia in caso di esito positivo che negativo.

Aspettiamo la tua candidatura.

Collaborando con noi avrai modo di confrontarti costantemente con le sfide dell’alta tecnologia, di accrescere le tue competenze e costruire un percorso professionale di eccellenza.

Seniority:

Junior

Primary Location:

IT - Ronchi dei Legionari

Contract Type:

Hybrid Working:

Onsite
Bereit, sich bei Leonardo zu bewerben?
Bei Leonardo bewerben

Über Leonardo

International, multicultural, innovative, technological: this is Leonardo. The company’s passionate and talented team is strongly influenced by STEM (Science, Technology, Engineering, Mathematics) expertise, with a diverse range of experience that enables colleagues to share knowledge and know-how across the generations. Leonardo always wants to expand its talent pool, here you can find the right opportunity for you!

Alle Jobs bei Leonardo ansehen →

Ähnliche Jobs

Leonardo
Risk Manager
Leonardo
⚡ Früh bewerben GB - Luton - Cap. Green 300 Vor Ort
● Neu 👁 Gesehen ✓ Beworben vor 1 Tg.
Leonardo
Integration & Test Trials Systems Engineer
Leonardo
⚡ Früh bewerben GB - Edinburgh Vor Ort
● Neu 👁 Gesehen ✓ Beworben vor 1 Tg.
Leonardo
Młodszy specjalista ds. administracji systemów i usług IT (Backup & DR Administrator)
Leonardo
⚡ Früh bewerben PL - Świdnik S.A. Vor Ort
● Neu 👁 Gesehen ✓ Beworben vor 1 Tg.
Leonardo
Monitoring, KPI & Reporting Engineer
Leonardo
⚡ Früh bewerben IT - Napoli - Fusaro Vor Ort
● Neu 👁 Gesehen ✓ Beworben vor 1 Tg.
Leonardo
ELI- Outsourced Maintenance Quality Control
Leonardo
⚡ Früh bewerben IT - Varese - Cascina Costa Vor Ort
● Neu 👁 Gesehen ✓ Beworben vor 1 Tg.
Leonardo
Młodszy specjalista ds. administracji systemów i usług IT (Network & OT Segmentation Engineer)
Leonardo
⚡ Früh bewerben PL - Świdnik S.A. Vor Ort
● Neu 👁 Gesehen ✓ Beworben vor 1 Tg.
Leonardo
ELI Rotorcraft Maintenance Technician
Leonardo
⚡ Früh bewerben IT - Frosinone Vor Ort
● Neu 👁 Gesehen ✓ Beworben vor 1 Tg.
Leonardo
Tesi - Analizzare l'applicazione della simulazione numerica ai processi di Forming e Cure di componenti in composito
Leonardo
⚡ Früh bewerben IT - Napoli - Pomigliano Vor Ort
● Neu 👁 Gesehen ✓ Beworben vor 1 Tg.
Leonardo
Contracts Officer
Leonardo
⚡ Früh bewerben GB - Yeovil - Lysander Rd Hybrid
● Neu 👁 Gesehen ✓ Beworben vor 1 Tg.

Registrieren für Vorschläge, die auf die von Ihnen geöffneten Jobs und gespeicherten Suchen zugeschnitten sind.

Mehr Jobs bei Leonardo

Alle Jobs bei Leonardo ansehen →

Jetzt bewerben
🤖

Moment — langsam

JobsRadar wurde für echte Menschen gebaut, die eine schwere Zeit bei der Jobsuche haben — nicht für automatisierte Anfragen. Sie klicken viel zu schnell und sind jetzt vorübergehend blockiert.

Kommen Sie später wieder. Wenn Sie wirklich auf Jobsuche sind, stehen wir hinter Ihnen — verhalten Sie sich einfach wie ein Mensch.

Catch your next role the second it’s posted.

Create a free account and we’ll watch the boards for you — the instant a job matches your search, it lands in your inbox or Telegram. No digging, no refreshing.

Create free account

Free forever · takes 30 seconds · already have one?

Verschaffe dir einen Vorsprung bei der Jobsuche.

Tritt unserem Telegram-Kanal bei für das, was dir hilft, die Stelle zu bekommen — Gehaltsbenchmarks, den wöchentlichen Marktpuls und neue Feature-Drops. Kein Spam, nur Signal.

Dem Kanal beitreten — kostenlos