Jeff Mboya
Jeff Mboya
Software Engineer

I build systems
that run at the edge.

Backend and systems engineer focused on WebAssembly, distributed task execution, and infrastructure. Currently contributing to Propeller — open source WASM task orchestration in Go + Rust.

GoRustTypeScriptWebAssemblyDockerMQTTPostgreSQLLinux
Selected Work
Njia
2025-01

Njia

Intelligent running route generator for Nairobi, Kenya. Generates looped routes from any starting point and enriches them with real-time weather mud-risk, shade scoring, crowd-sourced safety alerts, and M-Pesa-gated premium plans.

TypeScriptExpressNext.jsPostgreSQLRedisGraphHopperMapbox GLDocker
Scripli
2024-11

Scripli

A privacy-first human authorship certificate platform. Proves a document was written by a real person — without ever seeing the document. Zero content storage, cryptographically verifiable, publicly checkable without an account.

Next.jsTypeScriptPostgreSQLWeb Cryptography API
Propeller
2024-03

Propeller

A distributed WebAssembly task execution platform. Edge agents written in Rust subscribe via MQTT, receive task dispatch from a Go manager, and execute sandboxed WASM binaries — with OCI registry fetch, HTTP delivery, and platform attestation support.

GoRustWebAssemblyMQTTwasmtimePostgreSQLDocker
SuperMQ
2023-06

SuperMQ

A secure, multi-tenant IoT messaging platform. Identity management, channel-based pub/sub, and fine-grained access control over MQTT and HTTP — designed to handle millions of connected devices across isolated tenants.

GoMQTTgRPCPostgreSQLRedisDocker
Octavia Carbon
2023-06

Octavia Carbon

Two and a half years at Africa's leading direct air capture startup — from wiring the first PLC on the pilot machine as an I&C engineer, to leading pilot plant operations and optimisation, to Deputy Head of R&D.

Siemens S7-1200TIA PortalDistributed Control SystemsPythonCFD / AnsysDirect Air Capture
Nakuja Project
2022-11

Nakuja Project

University-based amateur rocketry programme at JKUAT working toward a liquid-propellant rocket capable of placing nanosatellites in low Earth orbit. Built and launched a series of high-power solid-motor rockets — N-1 through N-4 — and contributed propulsion research published at JKUAT-COETEC.

Solid propellant motorsC++PythonAnsysCustom DAQKenya Space Agency

About me

Software engineer with a focus on systems programming, edge computing, and open source. I care about correctness, performance, and code that other engineers can reason about at 3am. When I'm not writing Go or Rust I'm usually reading about distributed systems or contributing to the WebAssembly ecosystem.

Have a hard problem?

Open to backend, systems, and infrastructure roles. Always happy to hear interesting proposals.

Connect on LinkedIn