Tesi - UAS legacy: Verifica vulnerabilità tramite modelli formali

06 set - Ronchi dei Legionari
Leonardo

Questa posizione è in Leonardo

Riassunto dell'possibilità da parte della Joinrs AI : Leonardo cerca uno stagista Junior con laurea magistrale in Informatica, Ingegneria Elettronica o Automazione per sviluppare una tesi di laurea sulla Cybersecurity degli UAS legacy. Il candidato sarà guidato da tutor esperti per analizzare vulnerabilità di sistemi esistenti, applicando ingegneria inversa e modelli formali. L’esperienza, della durata massima di sei mesi, prevede un rimborso spese e si svolge presso la sede di Ronchi dei Legionari.

Il processo di selezione sarà interamente gestito da Leonardo.

Leonardo è un gruppo industriale internazionale leader nei settori Aerospazio, Difesa e Sicurezza, con oltre 60.000 dipendenti e una presenza globale in 150 Paesi. L'azienda offre tecnologie multidominio in elicotteri, aeromobili, aerostrutture, elettronica, cybersecurity e spazio, investendo in innovazione e sostenibilità.

I tutor esperti guideranno lo studente nella preparazione della tesi,



approfondendo tematiche di alto profilo tecnologico che spaziano dall'Intelligenza Artificiale all'Ingegneria dei Materiali, con particolare attenzione ai settori aerospaziali.

La tesi si concentra sulla verifica delle vulnerabilità di sistemi UAS legacy attraverso un approccio metodologico che combina:
- Reverse engineering hardware/software per identificare i punti di ingresso vulnerabili;
- Modelli formali per garantire l’integrità, l’autenticità e la disponibilità, validando le contromisure di sicurezza.

Le attività principali includono:
- Raccolta e analisi della documentazione disponibile, ricostruzione dell’architettura software/hardware e identificazione delle superfici d’attacco;
- Estrazione dei comportamenti funzionali e definizione di modelli formali con validazioni tramite simulazioni e analisi statiche/dinamiche;
- Valutazione delle minacce secondo standard riconosciuti (DO 326A, NIST, ENISA) e definizione di contromisure tecniche e procedurali;
- Supporto alla conformit

Operatore Sqaudra A Freddo Senior

07 set - Lovere
Randstad Italy

Executive Assistant Logistica

07 set - Terni
Altro

Ricevi nuove offerte di lavoro

Crea una Job Alert gratuita per tesi - uas legacy: verifica vulnerabilità tramite modelli formali / ronchi dei legionari

Addetto/a alle Vendite

07 set - Cuneo
Altro

Global Logistics Excellence Intern: Optimize Costs

07 set - Sesto San Giovanni
Altro