Real-Time Systems Lead
hace 22 horas
Málaga
¿Actualmente te encuentras en búsqueda activa de empleo? ¿Tienes intención de realizar un cambio laboral? Si es así, ¡esta es tu oportunidad! Desde Funditec tenemos la necesidad de incorporar a un/a Real-Time Systems Lead para incorporar a una de nuestras empresas asociadas, Miriad Global, en Málaga, MISIÓN Buscamos un Real-Time Systems Lead en Málaga con experiencia en sistemas críticos para liderar el desarrollo y evolución del núcleo de un sistema operativo de misión sobre plataformas de cómputo edge de alta capacidad. Tu responsabilidad principal será adaptar, optimizar y asegurar un microkernel con propiedades de separación formal, garantizando comportamiento determinista, aislamiento estricto entre dominios funcionales y un nivel de seguridad acorde a entornos operativos hostiles. Trabajarás mano a mano con el Lead Systems Architect: mientras él define la arquitectura de servicios y la integración de IA, tú garantizas que el hardware y el kernel responden de forma precisa, segura y predecible en cualquier circunstancia — desde el control de actuadores en sistemas de neutralización hasta la navegación autónoma en entornos sin señal GPS. Responsabilidades clave Kernel y tiempo real • Configuración y optimización de un kernel Linux de tiempo real sobre arquitecturas ARM64 de alto rendimiento: scheduler determinista, latency tuning, validación de jitter worst-case., • Diseño e implementación del aislamiento espacio-temporal entre los dominios funcionales del sistema mediante técnicas de separación formal., • Construcción incremental de un Trusted Computing Base (TCB) formal, alineado con el roadmap del programa. Seguridad de bajo nivel • Implementación y mantenimiento de la cadena de arranque seguro integrada con módulo criptográfico hardware (HSM)., • Hardening del sistema: principio de mínimo privilegio, aislamiento de memoria (IOMMU/SMMU), políticas de acceso mandatorio por dominio funcional., • Colaboración con el Líder de Ciberseguridad en análisis de amenazas y red-teaming de componentes del núcleo. Integración hardware y drivers • Desarrollo de BSP sobre plataformas ARM64 de alto rendimiento con aceleración AI: gestión de memoria ECC, power states, interfaces de red deterministas., • Configuración de time-sensitive networking (TSN) para scheduling determinista a nivel de red. PAG 1 Solicitud de apertura de procesos de selección, • Diseño y mantenimiento de drivers para sensores de defensa avanzados e interfaces de bus militar., • Capa de abstracción hardware (HAL) para portabilidad del mismo binario core entre plataformas (terrestre, aéreo, naval). Proceso y documentación • Trazabilidad SRS → código → test conforme a los procesos de software de seguridad crítica (DO-178C a nivel de proceso — no se requiere certificación completa en fase de I+D)., • Contribución al Software Design Document (SDD) y soporte a los bancos de prueba SIL/HIL., • Participación en revisiones técnicas de hito. Requisitos mínimos • Experiencia: +7 años en desarrollo de sistemas embebidos de tiempo real sobre arquitecturas ARM64 o x86-64., • Kernel Linux RT: Experiencia demostrable con configuración, optimización y análisis de latencia de un kernel Linux de tiempo real en entornos productivos., • Lenguajes: C nivel experto. C++ para componentes de sistema. Python para automatización., • Seguridad embebida: Arranque seguro, gestión de módulos criptográficos hardware, aislamiento de memoria a nivel de IOMMU/MMU., • Drivers ARM64: Desarrollo de drivers Linux sobre SoCs ARM de alta capacidad: DMA, interrupciones, interfaces de bus., • Rigor técnico: Capacidad de documentar, auditar y justificar decisiones de diseño en sistemas críticos. Se valorará especialmente • Microkernel con verificación formal: Experiencia con kernels de separación formal o microkernels verificados (seL4 u otros). Es el factor diferencial más relevante para este puesto., • Plataformas AI edge: Experiencia con SoCs ARM64 de alta capacidad con aceleración AI (NPU/GPU), sus BSPs y el aislamiento de aceleradores entre particiones., • Time-Sensitive Networking (TSN): Conocimiento de redes deterministas y su integración en el stack Linux., • Certificación: Conocimiento del proceso DO-178C o IEC 61508 SIL 3/4 — comprensión del flujo SRS→SDD→test→trazabilidad., • Sectores: Defensa, aeroespacial, robótica de alta criticidad, automoción avanzada., • Comunidad open source: Contribuciones a proyectos de kernel Linux, sistemas de tiempo real o seguridad embebida., • Metodología estructurada: Conocimiento de metodologías de desarrollo de software (RUP, Scrum, SAFe). Se valorará la comprensión del ciclo RUP y sus disciplinas aplicadas a software crítico. IA como herramienta de trabajo En MIRIAD Global apostamos por la inteligencia artificial como acelerador real del trabajo de ingeniería. Esperamos que nuestros ingenieros utilicen activamente asistentes de código y herramientas de IA para su trabajo diario: • Generación y revisión de código, tests unitarios y documentación técnica, • Análisis de traces de latencia y detección de anomalías en comportamiento del sistema, • Exploración de opciones de diseño de bajo nivel, • Automatización de tareas del pipeline y análisis de configuraciones de kernel No buscamos ingenieros que eviten la IA. Buscamos ingenieros que la utilicen con criterio. La IA acelera; el ingeniero de kernel decide. Cómo trabajamos • Ownership real: si algo está mal o falta claridad, lo dices — no esperas a que alguien te lo asigne • Directo sin burocracia: las decisiones técnicas se resuelven con argumentos técnicos, no con jerarquía, • Calidad no negociable, plazos reales: el código que no puedes defender en una revisión no entra en el sistema, • El equipo es tu primer cliente: lo que produces bloquea o desbloquea a otra persona; trabajamos con esa consciencia Condiciones • Contrato: Indefinido a tiempo completo, • Teletrabajo: 1 día por semana garantizado + teletrabajo completo en periodos festivos (Feria de Málaga, Navidad/Año Nuevo, Semana Santa y otras fechas acordadas), • Vacaciones: 23 días laborables anuales, flexibles, • Seguro médico: Privado, incluido desde el primer día, • Horario: Flexible — viernes tarde libre, • Formación: Acceso a formación técnica interna y externa continua, • Ubicación: Oficina en Málaga. Modalidad híbrida Por qué este proyecto Hay un momento en la carrera de muchos ingenieros de kernel en el que el stack lleva años sin cambiar, la arquitectura está decidida de antes de que llegaran, y el margen para hacer algo técnicamente nuevo es mínimo, aunque tengas argumentos sólidos. En MIRIAD Global es lo opuesto: te incorporas en la fase fundacional del programa, cuando las decisiones de diseño más relevantes todavía están abiertas. Los problemas que encontrarás — separación formal de dominios, no-interferencia entre IA y tiempo real, arranque seguro en sistemas de combate — no tienen solución estándar probada en este contexto. Cada decisión técnica que tomes en esta etapa quedará en el código durante la vida útil del programa. Si eso te parece una oportunidad en lugar de un riesgo, esto es para ti.