Esperienza Professionale

Ingegnere Software Embedded — Freelance

05/2026 - Presente
LICRITBrno, Repubblica Ceca (Ibrido)

Guido l'infrastruttura di verifica e qualificazione del kernel Phoenix RTOS per la certificazione DO-178C Level B su ARM Cortex-R5.

Sviluppo test di integrazione e unit test in C usando Cantata, raggiungendo la copertura decisionale completa dei moduli kernel.

Implemento i requisiti di tracciabilità attraverso casi di verifica con StrictDoc.

Progetto pacchetti Python CI che automatizzano la compilazione dei test, l'esecuzione basata su QEMU, l'estrazione della copertura, il controllo qualità e la generazione di report Excel.

Costruisco e mantengo una pipeline CI/CD con shell runner, esecuzione parallela, containerizzazione Docker e pubblicazione di artefatti.

Integro script CMM Lauterbach per l'esecuzione di test di integrazione su hardware su target ZynqMP.

Redigo documentazione tecnica dei record dei casi di verifica per i passaggi di test unitari e di integrazione.

CAssemblyPythonDO-178CCantataPhoenix RTOSQEMULauterbachStrictDocDockerARMv7-RZynqMPGit

Ingegnere Software Embedded — Freelance

10/2023 - 03/2026
Automotive Safety SLBarcellona, Spagna / Bali (Remoto)

Ho lavorato su sistemi di inverter di trazione che combinano elettronica di potenza per autobus e camion elettrici.

Il mio ruolo si è concentrato sullo sviluppo di software embedded critico per la sicurezza in ambienti automotive.

Ho progettato e integrato componenti software conformi ad AUTOSAR in C garantendo la conformità MISRA.

Ho sviluppato test unitari e di integrazione completi per garantire affidabilità e sicurezza.

Ho anche creato una libreria di sicurezza dedicata per verificare le configurazioni periferiche e i comportamenti runtime.

Il mio lavoro ha incluso programmazione assembly ARM a basso livello, integrazione dell'architettura software e tracciabilità completa tra requisiti di sistema, progettazione software e testing.

Ho contribuito ai flussi di lavoro CI/CD sviluppando strumenti di automazione Python e integrando strumenti di sviluppo assistiti dall'IA.

Hercule TIARM Cortex-RFreeRTOSSPIDMACANAzure DevOpsMISRAISO 26262

Ingegnere Software Embedded — Stagista

02/2023 - 07/2023
Thales AvionicsToulouse, Francia

Ho sviluppato software embedded per sistemi di comunicazione radar e sensori su hardware basato su ARM.

Il progetto ha riguardato l'acquisizione in tempo reale di dati radar e sensori per rilevare le posizioni di oggetti volanti.

Ho progettato un'architettura RTOS con prioritizzazione dei task, meccanismi di sincronizzazione e gestione degli interrupt.

Ho ottimizzato la comunicazione dei dati utilizzando DMA per ridurre il carico della CPU e migliorare l'efficienza del sistema.

Teensy 4.1ARM Cortex-MZephyrOsEthernetUARTDMATCP/IP

Ingegnere Software Embedded — Stagista

02/2022 - 06/2022
Elsys DesignAntibes, Francia

Ho sviluppato driver embedded per sensori GPS e IMU per calcolare la posizione precisa di veicoli in movimento.

Ho implementato protocolli di comunicazione e progettato un'architettura di sistema basata su FreeRTOS con task sincronizzati e utilizzo ottimizzato della memoria.

Ho migliorato le prestazioni del sistema personalizzando le configurazioni del linker per sfruttare la memoria on-chip veloce.

STM32ARM Cortex-MFreeRTOSIMUGPSUARTSPI