Hire
Embedded Rust Developers in Spain

Develops security-critical Bitcoin firmware and operating-system components in Rust, including transaction validation that detects tampering before signing. Has ported an asynchronous Rust operating system to the STM32H7 and built embedded hardware-abstraction layers under strict memory constraints.

• Implemented zero-allocation animated QR transmission libraries
• Developed fuel-gauge, LCD, and camera device drivers
• Built embedded firmware spanning C, Rust, and MicroPython
• Contributes to low-level open-source C and C++ projects

Developed a type-safe Rust control layer for industrial inkjet printheads, including asynchronous execution and hardware-constrained resource management. Built backend infrastructure connecting firmware devices through service discovery, telemetry messaging, and relational storage.

• napi-rs native Node.js addon packaging
• mDNS device discovery over isolated VLANs
• Mosquitto MQTT telemetry handling
• High-throughput computational print-plan generation

Implemented high-performance backend services using Rust and C++. Developed complex SQL queries for data analytics in large-scale applications.

• Implemented Rust backend services
• Developed high-performance C++ solutions
• Created complex SQL queries

Leads hardware and firmware platforms spanning holographic AR/VR, neural implants, industrial devices, and high-end x64 systems. Technical work includes graphene-based implant electronics, ASIC-facing development, clean-room fabrication, ACF/COF assembly, DDR4 platforms, and design-for-manufacture in medical applications.

• High-speed electronics architecture
• Power electronics and circuit design
• Design-for-test implementation
• FMEA-driven product risk analysis

Contributed to the development of asynchronous backend systems using Rust. Enhanced data visualization tools with advanced graphics programming.

• Optimized data processing workflows in Python
• Built embedded systems firmware with real-time constraints
• Integrated Rust-based libraries for improved performance

Focused on developing low-level firmware for IoT devices using Rust and C. Worked on optimizing memory consumption and performance for embedded systems. Contributed to safety-critical applications with stringent real-time constraints.

• Developed firmware for IoT devices
• Optimized memory and performance
• Contributed to safety-critical applications

Designed an IoT device management platform leveraging LoRaWAN and The Things Stack. Developed MQTT-based communication protocols for smart city infrastructure.

• Created CoAP interfaces for energy-efficient IoT devices
• Integrated Modbus for industrial sensor data collection
• Deployed TTN applications for remote environmental monitoring

Architected a distributed ledger system using Rust, achieving consensus across decentralized nodes. Led the development of a high-throughput event-driven system with Tokio for financial services.

• Designed a scalable microservices architecture in Rust
• Integrated SQL databases for real-time analytics
• Built a robust WebSocket server for live data feeds

Led the development of a cross-platform graphics engine using C++ and Rust. Pioneered low-level performance enhancements in embedded systems with assembly code.

• Designed real-time rendering pipelines
• Optimized compilers for embedded applications
• Implemented custom memory management techniques

Built compiler and runtime infrastructure spanning an LLVM JIT for the FreeBSD ipfw firewall, heterogeneous code generation, and dependency-graph-driven execution for high-performance computing. Developed an asynchronous Rust automotive runtime and embedded operating system with hardware drivers, bootloader logic, and over-the-air update support for Cortex-M7 devices.

• Achieved at least 10x firewall execution speedup
• Generated CUDA Graph code for heterogeneous systems
• Offloaded Fortran HPC workloads to FPGA hardware
• Built Renode-based virtual embedded-device tooling

Builds scalable web applications using Rust and Actix, with a focus on high-throughput systems and efficient routing using Axum.

• Developed web applications with Actix
• Implemented efficient routing with Axum
• Optimized high-throughput systems

Develops an end-to-end satellite digital twin and operations simulator, owning requirements, implementation, and repository-level technical governance. Applies model-based systems engineering to deterministic embedded and flight-software behavior under aerospace verification constraints.

• AOCS operations-model integration
• Software Requirements Specification authorship
• C and C++ embedded simulation components
• Rust-based systems tooling

Develops engineering software for robotic transfer systems on high-throughput automotive press lines, integrating WPF applications with PLCs, simulation environments, OPC UA, and gRPC. Designed an automated inspection platform combining machine vision, industrial robotics, and machine-learning defect detection.

• Robotic motion kinematics
• C# and .NET desktop architecture
• Prototype-to-industrial-system delivery
• Physical-system performance optimization

Led development of blockchain infrastructures using Rust and Substrate, with a focus on debugging complex systems using GDB and LLDB. Extensive experience in systems programming with C and Python.

• Architected blockchain solutions with Substrate
• Advanced debugging with GDB and LLDB
• Systems programming in C and Python