Experiencia Profesional

Ingeniero de Software Embebido — Freelance

05/2026 - Presente
LICRITBrno, República Checa (Híbrido)

Lidero la infraestructura de verificación y cualificación del kernel Phoenix RTOS para la certificación DO-178C Nivel B en ARM Cortex-R5.

Desarrollo pruebas de integración y unitarias en C usando Cantata, logrando cobertura de decisión completa de los módulos del kernel.

Implemento requisitos de trazabilidad a través de casos de verificación con StrictDoc.

Diseño paquetes Python CI que automatizan la compilación de pruebas, ejecución basada en QEMU, extracción de cobertura, control de calidad y generación de informes Excel.

Construyo y mantengo un pipeline CI/CD con runners shell, ejecución paralela, contenedorización Docker y publicación de artefactos.

Integro scripts CMM de Lauterbach para la ejecución de pruebas de integración en hardware sobre objetivos ZynqMP.

Redacto documentación técnica de registros de casos de verificación para pasos de pruebas unitarias y de integración.

CAssemblyPythonDO-178CCantataPhoenix RTOSQEMULauterbachStrictDocDockerARMv7-RZynqMPGit

Ingeniero de Software Embebido — Freelance

10/2023 - 03/2026
Automotive Safety SLBarcelona, España / Bali (Remoto)

Trabajé en sistemas de inversores de tracción combinando electrónica de potencia para autobuses y camiones eléctricos.

Mi rol se centró en desarrollar software embebido crítico para la seguridad en entornos automotrices.

Diseñé e integré componentes de software compatibles con AUTOSAR en C asegurando el cumplimiento de MISRA.

Desarrollé pruebas unitarias e de integración exhaustivas para garantizar confiabilidad y seguridad.

También creé una biblioteca de seguridad dedicada para verificar configuraciones de periféricos y comportamientos en tiempo de ejecución.

Mi trabajo incluyó programación ensamblador ARM de bajo nivel, integración de arquitectura de software y trazabilidad completa entre requisitos del sistema, diseño de software y pruebas.

Contribuí a flujos de trabajo CI/CD desarrollando herramientas de automatización Python e integrando herramientas de desarrollo asistidas por IA.

Hercule TIARM Cortex-RFreeRTOSSPIDMACANAzure DevOpsMISRAISO 26262

Ingeniero de Software Embebido — Pasante

02/2023 - 07/2023
Thales AvionicsToulouse, Francia

Desarrollé software embebido para sistemas de comunicación de radar y sensores en hardware basado en ARM.

El proyecto involucró la adquisición en tiempo real de datos de radar y sensores para detectar posiciones de objetos voladores.

Diseñé una arquitectura RTOS con priorización de tareas, mecanismos de sincronización y manejo de interrupciones.

Opticé la comunicación de datos usando DMA para reducir la carga de CPU y mejorar la eficiencia del sistema.

Teensy 4.1ARM Cortex-MZephyrOsEthernetUARTDMATCP/IP

Ingeniero de Software Embebido — Pasante

02/2022 - 06/2022
Elsys DesignAntibes, Francia

Desarrollé controladores embebidos para sensores GPS e IMU para calcular la posición precisa de vehículos en movimiento.

Implementé protocolos de comunicación y diseñé una arquitectura de sistema basada en FreeRTOS con tareas sincronizadas y uso de memoria optimizado.

Mejoré el rendimiento del sistema personalizando configuraciones del enlazador para aprovechar la memoria rápida en chip.

STM32ARM Cortex-MFreeRTOSIMUGPSUARTSPI