Rust · C++ · Low-level systems
I write Rust and C++, mostly low level systems where correctness and latency pull against each other. I like measuring exactly what that costs. Right now that is a C++ EVM log parser at a DeFi terminal.
Correctness
Serializable storage engines and incremental computation engines, with the protocol specified in TLA+ or Lean 4 and machine checked. Every source of nondeterminism behind one trait, so a bug from a seed reproduces byte for byte.
Latency
Matching engines and execution stacks measured in nanoseconds. Single producer ingestion, tx level worker parallelism, SPMC queues, kill switches, sub 100ms market-state detection.
Measurement
Tooling that puts error bars on the claim. Paired statistics for agent trajectories, lap-time sims checkable against closed form physics, recovering a sub nanosecond duration from a clock that cannot see one.
Now
DeFi terminal · Remote
Before
Prediction market trading fund · Remote
Quant research and the Rust execution stack under it, on Polymarket. Sub 100ms market-state detection, isolated failure domains, kill switch. Built a backtesting framework with walk-forward validation and point-in-time data enforcement, found a YES/NO token inversion bug invalidating roughly 80% of public Polymarket research, and shipped a Rust archiver snapshotting 27,000+ markets every 15 min through the CLOB API.
Quant fund · Remote
Shipped MVP for two core platform repos: an ingestion layer (Polygon WebSocket through Redis Streams into TimescaleDB) and a Signal Intelligence Engine with a 5-dimensional rating model and regime classifier on a 5 min cadence. Designed a shared contracts package defining 12+ canonical event types across 5 source families, consumed by every internal service to prevent schema drift.
Orbit Consulting (SMC-Pvt) Ltd · Remote
Designed high-availability backend services for enterprise clients. Cut query latency by 40% through query optimisation and migrated critical microservices to PostgreSQL and Redis. Defined API specifications and set up CI/CD pipelines across cross-functional teams.
Rust · TLA+ · Deterministic simulation
Embedded OLTP engine. Serializable, with SSI specified in TLA+ and machine checked. Every source of nondeterminism sits behind one trait, so a bug found from a seed reproduces byte for byte and shrinks to a minimal schedule. The only backend in its own benchmark that detects write skew. The mature engines are faster and commit the anomaly.
C++23 · Deterministic
Single threaded exchange matching engine. The sequenced input stream determines every output byte, and the output hash comes back bit identical across O0, O2 and O3. Checked against a real NASDAQ trading day, about 91,700 executions, zero displayed price priority violations.
Lean 4 · Differential testing
The propagation algorithm under Jane Street's Incremental, modeled in Lean 4 and proved consistent with zero sorry, then differential tested against janestreet/incremental. Verified work in this space proves the update functions and leaves the engine, where the bugs actually live, outside the proof. These proofs are engine level.
Rust · Statistics
Record, replay and statistically compare LLM agent trajectories. rr for agents, with error bars. On a 26 task Claude Code benchmark, eyeballing the mean delta calls a false winner 60% of the time comparing an agent against itself; a correct paired test holds it to 2.8%. Replays a session with the network dead and localizes any divergence to the exact field that moved.
JAX · Differentiable
Minimum lap time simulator and racing line optimiser, every number checkable against closed form physics. Calibrated to Verstappen's 2023 Austrian pole lap it predicts 64.69 s against a real 64.39 s. The solver is differentiable in JAX, so it rediscovers real F1 setup practice on its own: minimum wing at Monza, maximum at the Hungaroring.
Embedded · Timing
Recovering a sub nanosecond duration from a 24 MHz clock that cannot see one.
C++ · Measurement
Measuring what it costs to push an invariant from a comment down to "wont compile". Compile time grows roughly quadratically; runtime stays at zero.
More
C++ · LLVM · Clang Driver API
Write C with Urdu keywords. A UTF-8 aware preprocessor rewrites the ~50 Urdu tokens into standard C, leaving string and comment contents untouched, then compiles through Clang's own driver API rather than shelling out, with a custom diagnostics consumer.
View on GitHub →C · RISC-V Assembly
A RISC-V kernel from scratch: paging, scheduling, interrupts, and synchronisation primitives.
View on GitHub →ocaml / dune
cram's path tokenizer split at the first space, so a project path containing one left the absolute prefix unsanitized. The fix matches the build path prefix map sources literally.
Under --error-reporting=twice the deterministic error list ran into build output with nothing marking its start. Added a separator before it, suppressed when there are no errors.
EricLBuehler / mistral.rs
Traced an engine panic to an unwrap on a best effort send that fired when a client disconnected mid request.
Vrije Universiteit Amsterdam · Expected 2026
Focus: Operating Systems, Systems Programming, Concurrent Computing, Advanced Data Structures
Selected projects: Unix shell in C, distributed consensus algorithms
Contact
Looking for strong systems roles in Rust or C++, ideally in Finland, and open to relocation. If correctness and latency pulling against each other sounds like your stack, email is fastest.
Site
Location
Amsterdam · open to relocation (Finland / EU)
GitHub