05/28/2026 updated
100 % available
AI Systems Engineer & Protocol Designer | CIMA Chartered Accountant
bristol, United Kingdom
Only remote
CIMA Chartered Accountant (Qualified 2023)About me
Self-taught engineer building governed AI systems. CIMA-qualified (ex-Deloitte, ex-Head of Finance/Data), now shipping production LLM tooling, formal Lean 4 proofs, and EU AI Act–ready governance substrates. I turn regulated-environment risk into verifiable, auditable systems. TypeScript + Python.
AI & LLM Engineering
Expertise in building production AI systems using Claude Code, Cursor, Codex-style agents, LLM orchestration, MCP server design, multi-model routing, bounded generation, and evaluation harnesses.
Formal Methods & Protocol Design
Deep knowledge of Lean 4 formal verification (zero sorry proofs), specification-first design, adversarial review, and pathological-world testing, applied to governed decision-record substrates.
TypeScript & Python Development
Proficiency in TypeScript and Python for end-to-end production system development, including open-source protocol substrates, clinical reflection engines, and AI-assisted workflow tooling.
Web & Deployment
Experience with React, Vite, Next.js, Vercel serverless, PWA delivery, Tauri desktop packaging, and Capacitor for cross-platform application deployment.
Data & Infrastructure
Hands-on work with DuckDB, Postgres, large-scale CSV ingest of UK regulatory corpora, Doppler secrets management, and Tailscale mesh networking.
Operational Engineering
Skilled in CI/CD pipelines, launchd and cron orchestration, full-stack debugging, and multi-machine inference environments including Mac, Mac Mini, and RTX 5090.
Financial Stress Testing & Governance
Background in forecasting, stress and reverse-stress scenario design, operational planning, and governance frameworks across regulated financial and clinical environments.
Domain Knowledge: Governance & Provenance
Strong domain expertise in governance, provenance, replayability, audit, financial stress testing, reverse-stress methodologies, and regulated environment compliance.
Communication & Stakeholder Translation
Ability to translate complex system behaviour into reviewable, decision-relevant insight for engineering, clinical, and executive stakeholders, supported by technical writing.
Expertise in building production AI systems using Claude Code, Cursor, Codex-style agents, LLM orchestration, MCP server design, multi-model routing, bounded generation, and evaluation harnesses.
Formal Methods & Protocol Design
Deep knowledge of Lean 4 formal verification (zero sorry proofs), specification-first design, adversarial review, and pathological-world testing, applied to governed decision-record substrates.
TypeScript & Python Development
Proficiency in TypeScript and Python for end-to-end production system development, including open-source protocol substrates, clinical reflection engines, and AI-assisted workflow tooling.
Web & Deployment
Experience with React, Vite, Next.js, Vercel serverless, PWA delivery, Tauri desktop packaging, and Capacitor for cross-platform application deployment.
Data & Infrastructure
Hands-on work with DuckDB, Postgres, large-scale CSV ingest of UK regulatory corpora, Doppler secrets management, and Tailscale mesh networking.
Operational Engineering
Skilled in CI/CD pipelines, launchd and cron orchestration, full-stack debugging, and multi-machine inference environments including Mac, Mac Mini, and RTX 5090.
Financial Stress Testing & Governance
Background in forecasting, stress and reverse-stress scenario design, operational planning, and governance frameworks across regulated financial and clinical environments.
Domain Knowledge: Governance & Provenance
Strong domain expertise in governance, provenance, replayability, audit, financial stress testing, reverse-stress methodologies, and regulated environment compliance.
Communication & Stakeholder Translation
Ability to translate complex system behaviour into reviewable, decision-relevant insight for engineering, clinical, and executive stakeholders, supported by technical writing.
Experience
Professional experience0 - 5 years
Freelancer since2025
Languages
EnglishNative speaker
Project history
Building AI infrastructure, decision-governance protocols, and clinically-informed applications. Founded OMEGA Protocol, an open-source substrate for governed decision records with 22-conjunct accountability proof verified in Lean 4. Co-founded Reflect, a family of clinically-informed applications shipped with two practising clinicians. Working with BHT consortium on operational auditability infrastructure for clinical decision-making.
Led analytics, forecasting, and AI-assisted workflow tooling supporting high-stakes operational decisions under uncertainty. Designed stress and reverse-stress scenarios to surface model failure modes before production. Translated complex system behaviour into reviewable, decision-relevant operational insight for executive stakeholders.
Owned forecasting, stress testing, and operational planning during a period of acute market volatility in the crypto sector. Built reverse-stress methodology to identify operational and financial failure points before they materialised. Operated as senior strategic partner to executive team under rapidly changing market conditions.