Skip to content
Back to talent search
ZigDSLsCompilersformal methodsdistributed systemsTypeScriptcryptographyC++MLsecurity-critical codeRustinfosecClaude CodeFoundation ModelsGoHaskellPythonvector DBsNixK8sRAGsFPTerraformLLMsJS

Description

Senior engineer / tech lead with 20+ YOE, having progressed from IC to EM, Director, and CTO. Multiple exits. Capable of hands-on work or owning the entire technical organization. Designed and shipped a commercial LLM end-to-end (algorithms → training → MLops). Expert in agentic workflows (Claude Code, harnesses, autonomous agents, LLM-powered dev). Shipped production systems for major clients like Oracle, Shell, Time Warner, BoA, Sparkasse, Saatchi & Saatchi, Digitas. Launched and audited major blockchains (e.g., Tezos, Solana). Built and scaled a software NGO (2M+ supporters, 1k+ volunteers). Strengths include turning ambiguous problems into shipped systems, building MVPs that don’t need rewriting, expertise in ML, LLMs, Foundation Models, RAGs, vector DBs, rigorous code and infosec audits for mission-critical infrastructure, achieving 10x–1000x performance wins on legacy systems, and deep knowledge in FP, Compilers, DSLs, distributed systems, and security-critical code. Contributor to Rust Book, Rust By Example, Python docs, Haskell Communities and Activities Report. Performed dozens of audits. Background in cryptography, infosec, and formal methods. Seeks roles where they can own the stack and ship reliably. Available for remote work, overlapping with EU and US East+West Time Zones.