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.
Por favor, lea detenidamente la información de esta oferta de empleo para entender exactamente qué se espera de los posibles candidatos.
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. xqbhyrx
* 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