Full-stack engineer · Kansas City, MO / Remote

Now building Trading Algos

Systems thathold.

I design and ship web platforms, AI agents, and trading infrastructure—currently focused on a multi-service platform that carries market signals safely into execution.

01Design
02Ship
03Observe
04Refine
Emailprinceelysee@gmail.comLinkedInConnectGitHub@nishimweprince

Flagship system · Trading Algos

From market event to executed trade.

A working platform of strategy engines, market-data gateways, broker execution, and operator tooling—designed as one observable, failure-aware system.

01Observe

Market data

cTrader ticks, OHLC, Helius, Yellowstone

02Decide

Strategy services

IPDA, LuxAlgo, VRVP, FU, Lookup Trader

03Protect

Risk & validation

Guardrails, idempotency, session gates

04Act

Execution & operations

MT5, Jito, alerts, durable state

Experience

Built in the real world.

From clinical software and government platforms to AI data systems, work shaped by real constraints and accountable outcomes.

Goshen, New York

Full-Stack Developer

WRS Health
  • Leading the migration of a flagship EHR platform from PHP 5.0 to React 19, using micro-frontend architecture to maintain backward compatibility across legacy modules.
  • Driving sprint planning, code reviews, and ticket prioritization for the frontend team.

Kigali, Rwanda

Software Developer

QT Global Software
  • Consolidated registry services into a unified platform, reducing service request delivery times by an estimated 35%.
  • Re-architected the URS frontend into a micro-frontend system to improve maintainability and enable independent team deployments.

San Francisco, CA

Advanced AI Data Trainer

Invisible Technologies
  • Designed complex prompts and documented model errors for engineering teams, contributing to a 20% reduction in completion errors.
  • Authored ideal reference responses used in the reinforcement learning pipeline.

Kigali, Rwanda

Full-Stack Developer

Rwanda Space Agency (RSA)
  • Built a data collection platform with a custom form builder and analytics dashboard, saving institutions over $30,000/year in third-party tooling costs.
  • Integrated location-based services into five government platforms using GIS products.

Kigali, Rwanda

Full-Stack Developer

Rwanda Information Society Authority (RISA)
  • Led QA testing, documentation, and reporting for government website redesigns using OpenProject, reducing production defects by 39%.
  • Co-developed a data-entry application using React, Node.js, AWS, and Firebase.

Selected work

Systems with a point of view.

Formal proofs, market infrastructure, and public-facing products, selected for the decisions behind the interface.

01Lean 4

ArkLib (Formal Verification, Lean 4)

Open-source contributions to ArkLib, the Verified-zkEVM project formalizing SNARK theory, interactive oracle reductions, and coding theory in Lean 4.

Lean 4MathlibCoding TheoryFormal Verification
Why it matters
  • Generalized the Elias volume lower bound on list size and its entropy form (ABF26 Lemma 3.7 and Corollary 3.8) from linear codes over a field to arbitrary codes over a finite alphabet.
  • Restructured the existing field-linear theorems as one-line specializations of the new generic cores, preserving every downstream call site.
  • Introduced no new `sorry` and left the kernel-axiom baseline unchanged; all repository CI gates pass.
02Python

IPDA Signal Service & MT5 Trader

A Python RSI-reversal signal service paired with the FastAPI execution hub it posts to, built so a replayed or duplicated signal can never produce a duplicate fill.

PythonFastAPIMetaTrader 5Pine ScriptPydanticSQLite
Why it matters
  • Ports the RSI Buy Chance / Sell Chance reversal trigger from a TradingView Pine indicator: polls 1-minute OHLC, aggregates to the target timeframe, and fires at most once per candle bucket before locking it.
  • Every signal carries a deterministic UUIDv5 id derived from symbol, candle bucket, and direction, so execution is idempotent: a replay returns the stored result instead of placing a second order.
  • MT5 Trader serializes all order flow behind a single terminal lock, runs an order_check preflight, never auto-retries an ambiguous send, and reconciles crash-interrupted trades on startup.
  • Session gating for Tokyo and New York, mandatory distance-based stop and target profiles per instrument class, and advisory break-even alerts through the shared notification service.
03TypeScript

Pump.fun Post-Graduation Scalper

A TypeScript Solana bot that detects pump.fun token graduations to PumpSwap and scalps them, where the hard problem is rejecting scams, not finding candidates.

TypeScriptSolanaJitoHeliusYellowstone gRPCSQLite
Why it matters
  • Ten hard guardrails (mint and freeze authority, LP burn, an atomic buy-plus-sell honeypot simulation, holder concentration, liquidity floor and price impact, Token-2022 extensions) veto roughly 98% of graduations.
  • Detector → guardrails → position manager → executor pipeline over a typed in-process event bus, with durable SQLite state for crash recovery.
  • Deduplicated detection across PumpPortal, Helius, and Yellowstone gRPC feeds, Jito bundles with RPC fallback, and pre-signed exit ladders for sub-second exits.
  • Ships paper-first: paper → dry-run → live behind a manual gate, with circuit breakers and a kill switch.
04Python

Lookup Trader (Pattern Research Platform)

A local research platform for building a pattern-based probability database from historical price data: bar replay, manual labelling, and outcome modelling, with no order path by design.

PythonFastAPIDuckDBParquetReactVite
Why it matters
  • Ingests HistData CSVs into Hive-partitioned Parquet, queried through DuckDB behind a FastAPI service and replayed bar by bar in a React/Vite UI.
  • Manually labelled trades get triple-barrier outcomes that feed a feature store, an outcome model, and a meta model scoring whether a given setup is worth taking.
  • Order execution is asserted off on every artifact load; the tool is deliberately research-only.
05TypeScript

Akagera National Park Booking System

The official booking system for the Akagera National Park. Includes seats, activities, and payment management.

TypeScriptNode.jsReactTailwind CSSPostgreSQLDocker
Why it matters
  • Akagera National Park is Central Africa's largest protected wetland and the last remaining refuge for savannah-adapted species in Rwanda.
  • Visit the official website: https://www.africanparks.org/the-parks/akagera
More work4 additional projects
06

Muse of research

An AI agent that helps users find scholarly articles and papers. Available on X, Telegram and Discord.

ElizaPythonFastAPIPostgreSQLTypeScript
Implementation notes
  • An AI agent that helps users find scholarly articles and papers.
  • Available on X, Telegram and Discord.
07

Lens Music

A web application allowing creators to distribute their music on 150+ music platforms.

DDEXNode.jsReactTailwind CSSPostgreSQLDocker
Implementation notes
  • A web application allowing creators to distribute their music on 150+ music platforms.
  • Implements DDEX (Digital Data Exchange) standard for seamless music metadata distribution.
08

TradingView Strategies

A collection of TradingView strategies (original and community-modified) written in Pine Script.

Pine ScriptPythonBacktrader
Implementation notes
  • A collection of TradingView strategies (original and community-modified) written in Pine Script.
  • Includes backtesting capabilities using Python Backtrader framework.
09

Solana Web3

A utility application that allows users to transfer SOL and other tokens on the Solana blockchain between wallets.

TypeScriptNode.js
Implementation notes
  • A utility application that allows users to transfer SOL and other tokens on the Solana blockchain between wallets.
  • Leverages Solana high-performance blockchain for fast and cost-effective token transfers.

Credentials

Learning, made legible.

Validated foundations across backend engineering, cloud infrastructure, networking, and applied AI.

OpenJS Node.js Application Developer

OpenJS Foundation

Node.jsJavaScriptServer-Side Development

Credential dossier

OpenJS Node.js Application Developer

OpenJS Foundation

Other skills attained

  • 01REST APIs
  • 02Express
AlgorithmsJavaScriptFront-End Development

Credential dossier

JavaScript Algorithms and Data Structures

freeCodeCamp

Other skills attained

  • 01Object-Oriented Programming (OOP)
LinuxSEO CopywritingFreeBSD

Credential dossier

The Bits and Bytes of Computer Networking

Google

Other skills attained

  • 01Cloud Computing
  • 02Windows Server
  • 03SQL
  • 04Qualitative Research
  • 05Object-Oriented Programming (OOP)
  • 06Data Analysis
  • 07Writing
  • 08Technical Support
LinuxSEO CopywritingFreeBSD

Credential dossier

Technical Support Fundamentals

Google

Other skills attained

  • 01Cloud Computing
  • 02Windows Server
  • 03SQL
  • 04Qualitative Research
  • 05Technical Support
  • 06Written Communication
LinuxUdacityGitHub

Credential dossier

AWS Certified Solutions Architect - Associate

Amazon Web Services (AWS)

Other skills attained

  • 01Data Structures
  • 02SEO Copywriting
  • 03FreeBSD
  • 04Cloud Computing
  • 05Windows Server
  • 06SQL
  • 07Qualitative Research
  • 08Technical Support
  • 09Written Communication
  • 10Data Analysis
  • 11Object-Oriented Programming (OOP)
  • 12AWS Certified Solutions Architect - Associate

Have a hard problem?

Let's make it hold.

princeelysee@gmail.com