Business Partner

Business Partner / Co-Founder (Revenue and Engineering)

tbay.tk LLC | Helena, Montana | Remote or on-site | Equity partnership

The company

tbay.tk builds deterministic, proof-carrying AI and the software it operates. Our reasoning model (kôdex-determinatus) answers only with a machine-checkable certificate; our agent (kôdex) uses it to run real systems. We give the applications away for free (a full retail point-of-sale platform and Strata, a multi-tenant property-management ERP) and sell the AI that operates them. TBAY, our Ethereum layer-1 token, is the settlement rail across the ecosystem.

The role

This is a founding partnership, not a job. You would own revenue end to end (sales, marketing, pricing, partnerships) and carry roughly half of the engineering load across a stack that spans a Rust formal-reasoning kernel, an Electron desktop product, two web applications, a Chrome extension, cloud infrastructure and physical retail hardware. I am looking for one person who can do all of it. If that is you, the upside is real and the equity is meaningful.

What you would own

• Outbound and closing for mid-market retail and property management accounts
• Positioning and go-to-market for a category that does not exist yet (verified, non-probabilistic AI)
• Pricing and packaging of the free-software, paid-AI model
• Channel partnerships: payment processors, POS resellers, property management associations, MSPs
• Website, content, demand generation, lifecycle, SEO and technical marketing
• TBAY community, exchange and ecosystem relationships
• Enterprise procurement: security questionnaires, compliance reviews, contract negotiation
• Shipping production code across every repository listed below

Required: sales and marketing

• Proven B2B software sales, ideally closing mid-market and multi-location accounts
• Comfort selling a technical differentiator to non-technical buyers (store owners, property managers)
• Full-cycle ownership: pipeline generation, demo, security review, negotiation, close, renewal
• Positioning and messaging from scratch, without an existing category to lean on
• Performance and content marketing; you write your own copy and run your own campaigns
• Partner and channel development
• Working knowledge of payments economics (interchange, processor revenue share, ISO relationships)
• Crypto and token marketing judgment, including where the regulatory lines are

Required: engineering

You do not need to be an expert in all of this on day one, but you must be able to work productively in each area within a reasonable ramp, and be genuinely strong in several.

• Systems and formal methods (kôdex-determinatus)
• Rust 2024, Cargo workspaces, no-std crates, unsafe_code = "forbid" discipline
• Deterministic engineering: exact rational arithmetic (no floats), ordered collections only, no clock, environment, randomness or thread-scheduling dependence
• Datalog engines: semi-naive stratified evaluation, interned symbols, ATMS, evaluation budgets
• Language implementation: hand-written lexers and parsers, ASTs, canonical printers, stratification and range-restriction analysis (we maintain our own .dtl axiom language)
• Term rewriting, e-graph saturation, proof certificates and independent checkers
• Content addressing with BLAKE3; canonical JSON encodings
• Bitset relations and word-parallel transitive closure
• WebAssembly: wasm32-wasip1 and wasm32-unknown-unknown, native-versus-WASM byte parity
• Property-based testing with proptest and committed regression corpora
• Ontology engineering, category theory as applied structure (functors, adjunctions), controlled natural language and computational lexicography (WN-LMF, Open English WordNet)

Backend and services

• Rust: Axum 0.7, Tokio, SQLx 0.8 (runtime queries), Serde, reqwest, rustls
• Node.js: Express 4, CommonJS, the native node:test runner, Winston
• PHP 8: PDO, Composer, hand-rolled API gateways, and a Laravel-style license server
• MySQL 8: InnoDB, FULLTEXT, triggers, stored procedures, hand-managed numbered migrations
• PostgreSQL with pg, parameterized queries throughout
• Multi-tenant data architecture with per-row workspace isolation enforced at two layers
• JWT (HS256) auth, service-to-service internal tokens, constant-time comparison, fail-closed design
• OpenAI-compatible HTTP APIs, server-sent events, JSON-RPC 2.0, the Model Context Protocol
• Double-entry and trust accounting, jurisdictional tax compliance, statutory guardrails in SQL

Frontend and desktop

• Vue 3 (<script setup>), Pinia, Vue Router, Vite, Axios; also an un-bundled Vue monolith with runtime defineAsyncComponent loading and no build step
• React 18 functional components, esbuild, lucide-react, CSS custom-property design systems
• Electron 41: main and renderer separation, contextBridge preload, context isolation, sandboxing, IPC design, tray and window lifecycle, electron-builder (NSIS, DMG, AppImage)
• Chrome Extensions (Manifest V3): service workers, content scripts, isolated versus main world injection, side panels, long-lived chrome.runtime ports, chrome.storage
• IndexedDB via Dexie.js, offline-first sync queues and conflict resolution
• Chart.js; TypeScript for the VS Code extension API
• Playwright (including persistent contexts with an extension loaded) and Jest

Security and cryptography

• AES-256-GCM, Argon2id and PBKDF2 key derivation, HMAC-SHA256 integrity
• Ed25519 signing and verification, pinned publisher keys, offline signing key management, anti-rollback sequencing, allowlist and denylist trust boundaries
• OS keychain integration through Electron safeStorage
• SSH tunnelling with ssh2 and trust-on-first-use host key verification
• Threat modelling for autonomous agents: sandboxed tool vocabularies, path-traversal guards, signed-data versus signed-code lanes, kill switches
• Practical appsec: injection prevention, rate limiting, secrets handling, audit logging

Cloud, infrastructure and AI

• Google Cloud: Cloud Run, Cloud Build, Artifact Registry, Global HTTPS Load Balancing, short-lived audience-scoped OIDC identities, wake-on-request and scale-to-zero services
• Docker, distroless images, docker-compose
• Stripe: checkout sessions, webhook signature verification, subscription and licensing flows
• Anthropic Claude API and OpenAI-compatible endpoints; multi-agent orchestration, tool design, eval harnesses, retrieval and skill libraries
• Ethereum: ERC-20 token mechanics, non-custodial payment rails, wallet integration, on-chain settlement, and the compliance posture that goes with all of it
• Python 3 and Bash for tooling, code generation and CI gates
• OCR pipelines: tesseract, poppler, deterministic classification and field extraction

Hardware and peripherals

• Payment terminals and their APIs: Stripe Terminal, Square Terminal, Moneris (iPP320 cloud), PayPal and Zettle, Chase and CyberSource OmniPay, Elavon Converge, Global Payments, Helcim
• Browser hardware APIs: WebUSB, WebSerial and WebHID, including interception and simulation
• Retail peripherals: weight scales (Mettler Toledo, Detecto), cash drawers (APG USB, FTDI serial), barcode scanners and magnetic stripe readers via keyboard-wedge emulation
• ESC/POS receipt printer command generation and parsing
• AAMVA PDF417 driver licence encoding and decoding for age verification
• Document scanners feeding an OCR ingestion pipeline
• Fleet compute across idle desktop machines, with input-driven reclaim

How we work

Multi-agent development: an orchestrator, a researcher and an implementer, coordinated through our own tooling. You will be operating AI agents as a primary development method, not typing every line yourself.

Determinism and verification over speed of demo. Certificates, gates and reproducible builds. Small verified commits, local CI gates that must be green before anything ships. Regulated-adjacent domains (cannabis retail, trust accounting, payments), so compliance is part of the design, not an afterthought.

What this is not

Not a salaried role at a funded startup. This is equity in a company that is pre-revenue by design, with a product surface that is already built and deployed.

Not a manager position. There is no team to hand work to; there is you, me and the agents.

Not a fit for someone who only sells or only codes. The point of this partnership is that one person covers both, so we do not need to hire six.

Compensation

Equity partnership: terms negotiable and weighted to what you bring. Revenue share on what you close. We can discuss a draw once revenue supports it.

To apply

Send me three things:

• Something you sold, with the number and how you got it
• Something you built, with a link to the code
• Your read on why deterministic, certificate-carrying AI is worth selling, or why it is not

Alexander Milton, tbay.tk LLC, Helena, Montana

https: