Ingeniero de firmware · Alicante, España
Firmware para sistemas de vuelo que no pueden fallar: trabajo en Embention en el autopiloto del proyecto Amazon Prime Air. Fuera del trabajo programo en Rust, con tres crates publicadas.
Ingeniero electrónico de formación (UMH, 2016 a 2020). Vengo del hardware: cuatro años de I+D en CETEM diseñando PCBs y escribiendo firmware para ESP32, con cinco artículos de Springer por el camino, dos como primer autor.
Desde septiembre de 2024 soy ingeniero de firmware en Embention, en el autopiloto del proyecto Amazon Prime Air. En paralelo, Rust se ha convertido en mi lenguaje personal principal: tres crates publicadas y apps Android con core en Rust.
Cómo trabajo con la IA
Programo con herramientas de IA a diario, con el mismo proceso que aplico en el trabajo: linting, tests, cobertura y revisión en cada cambio. La parte pública de ese flujo son lockpick y rust-template, en los proyectos de abajo.
Empresa de autopilotos y aviónica para UAV y eVTOL. Trabajo a tiempo completo en el autopiloto del proyecto de drones de reparto Amazon Prime Air, del que Embention es socio tecnológico.
Centro tecnológico. Electrónica y firmware para más de diez proyectos de I+D nacionales y europeos, incluido el proyecto europeo Pharaon.
Proyectos personales, la mayoría en Rust. Los repos públicos tienen enlace.
El Solar Position Algorithm del NREL en Rust, el motor de solar-clock. Cada doc comment cita la ecuación del paper que implementa y los tests fijan los valores de las tablas del propio paper. CI en tres sistemas operativos con gate de cobertura de rama del 100%.
Reloj solar para Android. En vez de la hora civil muestra el tiempo anclado al Sol real: amanecer, mediodía solar, atardecer y nadir, continuo en cambios de hora y regímenes polares. Toda la matemática vive en un core de Rust expuesto vía UniFFI.
Todos los gates de calidad de un proyecto Rust en un comando: fmt, clippy, tests, doc, cobertura, machete, audit. Es el gate de CI de todos mis repos de Rust y paraleliza los checks que no compiten por el lock de compilación.
Cuenta patrones de desbloqueo estilo Android en grids n-dimensionales de hasta 127 puntos. Es además el oráculo de verificación de las fórmulas cerradas y la función generadora exponencial que derivé en papel.
Mi TFG de 2020, publicado en abierto y como open source: un PLC de 8 relés programable desde el navegador sobre dos nodos ESP32 enlazados por LoRa. El nodo remoto sigue ejecutando su programa aunque caiga el enlace de radio.
Cinco artículos revisados por pares en actas de congresos internacionales de Springer, de mi etapa de investigación en CETEM. Dos como primer autor.
Two-Coil Resonant Wireless Power Transfer System for Smart Recycling Containers
doi.org/10.1007/978-3-031-77571-0_59e2Drive: Enhancing Urban Mobility and Safety for Physically Disabled Drivers Through Smart Sensor System
doi.org/10.1007/978-3-031-77571-0_53AmICare: Ambient Intelligent and Assistive System for Caregivers Support
doi.org/10.1007/978-3-031-77318-1_31Ambient Monitoring System for Contagion Risk Assessment of Airborne Transmission Diseases in the Hospitality Industry
doi.org/10.1007/978-3-031-21333-5_70A Predictive Waste Collection Management System: IoT Device for Smart Containers and System Architecture
doi.org/10.1007/978-3-031-21333-5_60PLC para control de bombas de piscina y sistemas de riego automático en chalés
UMH, 2020. En abierto en el repositorio de la universidad y liberado como open source.
dspace.umh.esNota media 8,2/10 con seis matrículas de honor. TFG con un 10/10, publicado en abierto y como open source.
Alicante, España