Jane Doe
Software Architect & Researcher
Open to Collab
Designing deterministic engines and exploring distributed systems. Focused on correctness, speed, and clean primitives.
Currently engineering runtime verification pipelines and high-throughput data tools. Based between Berlin and remote spaces.
Selected Works
Aether Solver
A multi-threaded constraint satisfaction solver and SAT engine with proof generation support.
C++20
SIMD
CMake
Raycast Diff
Fast AST visualizer extension for git conflict resolution.
Stack
Rust
TypeScript
Linux
Neovim
On Amortized Query Costs in Partitioned KV Stores
A comparative analysis of LSM-tree compaction variations against uniform distribution benchmarks.
Experience
2024 — Present
Full-time
Staff Engineer
— Vector Systems
2022 — 2024
Remote
Backend Infrastructure
— CloudScale
2020 — 2022
Hybrid
Software Engineer
— Monad Labs