# Jader Correa — Engineering profile ## Positioning Jader Correa is a principal engineer and founder with more than 20 years of experience shipping production systems. His work sits at the intersection of product judgment, architecture, and hands-on implementation. He is interested in Principal Engineer and senior staff-level roles where he can set technical direction while continuing to build and operate consequential systems. ## Engineering philosophy Models generate possibilities. Repositories define constraints. Verification establishes truth. Jader uses language models to investigate, plan, implement, and review, while keeping authorization, product judgment, system invariants, and executable verification deterministic. ## Areas of expertise - Reliable AI agents, evaluations, and multi-model workflows - Developer tools and repository-native engineering knowledge - Distributed and event-driven systems - Production architecture and operational reliability - PostgreSQL and zero-downtime schema evolution - Elixir/OTP, Go, TypeScript, and Ruby ## Selected evidence ### GPTCode GPTCode is Jader's open-source investigation into reliable coding agents. It separates repository research, planning, implementation, review, and verification into inspectable stages. Model reasoning proposes changes; repository constraints and deterministic tools establish whether they are correct. - Project: https://gptcode.dev - Source: https://github.com/jadercorrea/gptcode ### Code Climate Jader evolved the architecture of Velocity and shipped capabilities that contributed approximately USD 1 million in annual recurring revenue. ### TransportAPI / First Bus He designed and built Elixir/OTP systems supporting real-time transportation applications used by more than 3 million passengers across more than 40 UK cities. ### Industrial telemetry He developed distributed systems processing more than 50 million events per day across 14 manufacturing plants. ### Árvore He helped grow the engineering organization threefold while improving execution across products serving more than 2 million monthly users. ### Zapfy As founder, Jader builds an AI-native commerce platform spanning agents, payments, fiscal operations, inventory, mobile applications, and physical point-of-sale hardware. ## Canonical identity - Name: Jader Correa - Role: Principal Engineer and founder - Website: https://jader-correa.com/ - GitHub: https://github.com/jadercorrea - LinkedIn: https://www.linkedin.com/in/jadercorrea/ - Email: jc@jader-correa.com