INFO CANDIDATO
DETTAGLIO CV
Profilo Candidato
Senior ADA Software Engineer - Cybersecurity Systems
Leonardo S.p.A. - Divisione Elettronica
Esperto programmatore ADA con 8+ anni di esperienza nello sviluppo di sistemi critici per la difesa e cybersecurity. Specializzato in software per sistemi embedded di alta affidabilità e applicazioni real-time per piattaforme aerospaziali e navali.
Studi, Corsi, Certificazioni, Lingue conosciute
Formazione & Certificazioni
- Laurea Magistrale in Ingegneria Informatica - Politecnico di Milano
- Master in Sistemi Embedded Critici - Università di Pisa
- Certified ADA Professional (AdaCore)
- Security Clearance NATO Secret
Lingua inglese ottima sia parlata che scritta
Esperienze di Lavoro
Esperienze Leonardo S.p.A.
Eurofighter Typhoon - Avionics Suite (2022-Presente)
Sviluppo del software di gestione missione in ADA/SPARK per il sistema di avionica integrato.
Programma FREMM - Naval Combat System (2019-2022)
Architettura software ADA per il sistema di combattimento navale, certificazione sicurezza livello NATO.
CyberShield Platform (2017-2019)
Framework cybersecurity per infrastrutture critiche con verifica formale in SPARK.
Competenze Tecniche
- Linguaggi: ADA 2012, SPARK 2014, C/C++ per integrazione
- Domaini: Sistemi embedded real-time, Avionica, Cybersecurity
- Toolchain: GNAT Programming Studio, AdaCore Ecosystem
- Standard: DO-178C Level A, MIL-STD-498, ISO 26262
- Metodologie: Correctness by Construction, Test-Driven Development
Punti di Forza
- Capacità di progettare software con requisiti di sicurezza e affidabilità estrema
- Esperienza multidisciplinare in progetti di difesa complessi
- Padronanza delle normative e standard del settore aerospaziale e militare