- 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.
- 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.
- 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.
- Participar en la creación de una tecnología avanzada con impacto real en sistemas autónomos. xohynlm
- 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
Kernel Lead - Sevilla - Miriad Global
Descripción
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
Requisitos mínimos
Se valorará especialmente
Qué ofrecemos