Principal Low-Level Systems & Verification Engineer

This profile specializes in low-level systems programming and formal verification, working with technologies like Rust, Nix, Firecracker, WASM, WebGPU, TLA+, Kani, eBPF, and io_uring. The individual thrives on tackling complex problems at foundational layers, as demonstrated by projects such as 'bose-search,' a meta-search MCP server for AI agents featuring RRF fusion and information-theoretic surprise scoring, and 'Forge,' a deterministic execution fabric built on Firecracker microVMs and Nix, with ambitions for end-to-end formal verification. The profile is proficient with AI-assisted development using Claude Code, noting that delivery accelerates with API access and a suitable environment. Available for contract work, the individual requires clients to provide Anthropic API access, as infrastructure costs are not fronted. Based in Taiwan, the individual is remote-friendly but not willing to relocate.