Professional Experience

Embedded Software Engineer — Freelance

05/2026 - Now
LICRITBrno, Czech Republic (Hybrid)

I lead the Phoenix RTOS kernel verification and qualification infrastructure for DO-178C Level B certification on ARM Cortex-R5.

I develop Integration and Unit tests in C using Cantata, achieving full decision coverage of kernel modules.

I implement traceability requirements through verification cases using StrictDoc.

I design Python CI packages automating test compilation, QEMU-based execution, coverage extraction, quality gate enforcement, and Excel report generation.

I build and maintain a CI/CD pipeline with shell runners, parallel execution, Docker containerization, and artifact publication.

I integrate Lauterbach CMM scripts for hardware-based integration test execution on ZynqMP targets.

I author technical documentation of Verification Case records for Unit and Integration test steps.

CAssemblyPythonDO-178CCantataPhoenix RTOSQEMULauterbachStrictDocDockerARMv7-RZynqMPGit

Embedded Software Engineer — Freelance

10/2023 - 03/2026
Automotive Safety SLBarcelona, Spain / Bali (Remote)

I worked on traction inverter systems combining power electronics for electric buses and trucks.

My role focused on developing safety-critical embedded software in automotive environments.

I designed and integrated AUTOSAR-compliant software components in C while ensuring MISRA compliance.

I developed comprehensive unit and integration tests to guarantee reliability and safety.

I also created a dedicated safety library to verify peripheral configurations and runtime behaviors.

My work included low-level ARM assembly programming, software architecture integration, and full traceability between system requirements, software design, and testing.

I contributed to CI/CD workflows by developing Python automation tools and integrating AI-assisted development tools.

Hercule TIARM Cortex-RFreeRTOSSPIDMACANAzure DevOpsMISRAISO 26262

Embedded Software Engineer — Intern

02/2023 - 07/2023
Thales AvionicsToulouse, France

I developed embedded software for radar and sensor communication systems on ARM-based hardware.

The project involved real-time acquisition of radar and sensor data to detect flying object positions.

I designed an RTOS architecture with task prioritization, synchronization mechanisms, and interrupt handling.

I optimized data communication using DMA to reduce CPU load and improve system efficiency.

Teensy 4.1ARM Cortex-MZephyrOsEthernetUARTDMATCP/IP

Embedded Software Engineer — Intern

02/2022 - 06/2022
Elsys DesignAntibes, France

I developed embedded drivers for GPS and IMU sensors to compute the precise position of moving vehicles.

I implemented communication protocols and designed a FreeRTOS-based system architecture with synchronized tasks and optimized memory usage.

I improved system performance by customizing linker configurations to leverage fast on-chip memory.

STM32ARM Cortex-MFreeRTOSIMUGPSUARTSPI