Firmware engineer · Alicante, Spain
Firmware for flight systems that cannot fail: I work at Embention on the autopilot of the Amazon Prime Air project. Outside work I build in Rust, with three published crates.
Electronics engineer by training (UMH, 2016 to 2020). I come from hardware: four years of R&D at CETEM designing PCBs and writing ESP32 firmware, with five Springer papers along the way, two as first author.
Since September 2024 I have been a firmware engineer at Embention, on the autopilot of the Amazon Prime Air project. In parallel, Rust has become my main personal language: three published crates and Android apps built on a Rust core.
How I work with AI
I code with AI tools daily, under the same process I apply at work: linting, tests, coverage and review on every change. The public pieces of that workflow are lockpick and rust-template, in the projects below.
Autopilot and avionics company for UAVs and eVTOL. I work full time on the autopilot of the Amazon Prime Air delivery drone project, where Embention is a technology partner.
Applied research center. Electronics and firmware for more than ten national and European R&D projects, including the EU project Pharaon.
Personal projects, most of them in Rust. Public repos are linked.
The NREL Solar Position Algorithm in Rust, the engine behind solar-clock. Each doc comment cites the equation of the paper it implements and the tests pin values from the paper’s own tables. CI on three operating systems with a 100% branch coverage gate.
Solar clock for Android. Instead of civil time it shows time anchored to the real Sun: sunrise, solar noon, sunset and nadir, continuous through DST changes and polar regimes. All the math lives in a Rust core exposed through UniFFI.
All the quality gates of a Rust project in one command: fmt, clippy, tests, doc, coverage, machete, audit. It is the CI gate of all my Rust repos and it parallelizes the checks that do not compete for the build lock.
Counts Android-style unlock patterns on n-dimensional grids of up to 127 points. It doubles as the verification oracle for the closed-form formulas and the exponential generating function I derived on paper.
My 2020 degree project, published open access and open source: an 8-relay PLC programmable from the browser, running on two ESP32 nodes linked by LoRa. The remote node keeps executing its stored program even if the radio link drops.
Five peer-reviewed papers in Springer international conference proceedings, from my research years at CETEM. Two as first author.
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. Open access in the university repository, released as open source.
dspace.umh.esGPA 8.2/10, with the top mark (Matrícula de Honor) in six courses. Degree project graded 10/10, published open access and open source.
Alicante, Spain