Kernel Lead
Misión del puesto
Buscamos un Kernel Lead en Malaga 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 él 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 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/a: 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.