Kernel Lead

En

MIRIAD

desarrollamos sistemas autónomos y software de mando de última generación gracias a una profunda innovación y una fabricación de vanguardia, satisfaciendo las demandas críticas en tierra, mar, aire y espacio.

Actualmente, nos encontramos en búsqueda de un/a

Kernel Lead en Málaga,

con experiencia en sistemas críticos para liderar el desarrollo y la evolución del núcleo de sistema. Tu responsabilidad principal será adaptar, optimizar y asegurar un

microkernel basado en Zephyr RTOS

, garantizando comportamiento determinista, latencias mínimas y un nivel de seguridad acorde a entornos operativos hostiles y de misión crítica. Trabajarás mano a mano con el

OS Architect:

mientras define la arquitectura de servicios, comunicaciones e integración de IA, tú serás quien garantice que el hardware y el Kernel responden de forma precisa, segura y predecible en cualquier circunstancia.

Responsabilidades clave Optimización del Kernel:

Personalización profunda de Zephyr RTOS (Kconfig, DeviceTree, scheduler, memoria) sobre arquitecturas ARM Cortex-M y Cortex-A, así como la integración de aceleradores de IA. Tiempo real y determinismo:

Diseño y validación de un comportamiento estrictamente determinista en scheduling, interrupciones y gestión de eventos para funciones críticas como maniobra, control y actuación. Seguridad de bajo nivel:

Implementación de mecanismos de hardening: protección de memoria (MPU/MMU), Secure Boot (MCUboot), Root of Trust, TrustZone y aislamiento de componentes críticos. Desarrollo de drivers:

Diseño y mantenimiento de drivers de bajo nivel para sensores avanzados (LiDAR, radar, EO/IR) y actuadores de alta precisión.

Requisitos mínimos Experiencia

: +7 años en desarrollo de sistemas embebidos de tiempo real. RTOS

: Experiencia demostrable personalizando Zephyr RTOS en entornos productivos. Lenguajes

: C (nivel experto), C++ . Seguridad

: Criptografía aplicada a hardware y entornos de ejecución confiables (TEE). Rigor técnico

: Capacidad para documentar, auditar y justificar decisiones de diseño en sistemas críticos.

Se valorará especialmente Experiencia en sectores como defensa, aeroespacial o robótica de alta criticidad. Conocimiento de estándares de interoperabilidad militar (JAUS, STANAG u otros). Contribuciones activas o participación en la comunidad open source de Zephyr.

Qué ofrecemos Participar en la creación de una tecnología avanzada con impacto real en sistemas autónomos. Un entorno donde la ingeniería, la calidad del código y el diseño sólido importan de verdad. Trabajo directo con especialistas en arquitectura de sistemas e inteligencia artificial