Tesi - UAS legacy: Verifica vulnerabilità tramite modelli formali

21 ago - Italia
Altro

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

Ti assumiamo anche senza esperienza

22 ago - Giugliano in Campania
ADELANTE

Pizzaiolo

22 ago - Marano di Napoli
Cimmino's di cimmino Luca &c

Ricevi nuove offerte di lavoro

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

Ricerchiamo operatori telefonici

22 ago - Villaricca
ADELANTE

Perito elettrotecnico - elettromeccanico

22 ago - Tito
SATRIANO