Jonas Kgomo

Software engineer and technical leader building AI infrastructure and products. Expertise: ML systems engineering, LLM training/finetuning, formal methods, and developer tools. Founded multiple technical products, including Explore Policy, Veridity, Merit, and Delphi.

Director & Engineering Lead at Equiano Institute (2023-04 – Present) • Lead engineering strategy and ML systems for research projects. Manage AI model training and fine-tuning initiatives with OpenAI.

• Founded and direct a research lab focused on AI safety, alignment, and policy in developing markets.
• Built the institute's public website and core technical infrastructure.
• Delivered research and technical projects for clients including UNDP, London City Intelligence, and the Tony Blair Institute (TBI).
• Train teams on compute optimization and AI system design through workshops and mentorship.
• Led 50+ translation teams and 10+ research groups across AI safety, policy, and technical alignment. Founder & Lead at Merit (AI Hiring Simulation Initiative) (2026 – Present) • Built proof-of-work hiring platform using AI to simulate and optimize recruitment workflows.
• Built from concept to working product; full stack development (frontend, backend, ML pipeline). Founder, Engineering Lead & Simulation Manager at Explore Policy (2026 – Present) • Lead the engineering and simulation initiative, managing three engineers and policy researchers building an interactive AI policy simulation and governance explorer. Founder & Chief Engineer at Veridity (AI Verification Research App) (2026 – Present) • Built a verification-guided research application exploring the correctness of AI-generated code through formal verification and machine-checkable proofs.
• Technical focus: formal methods (Lean, Coq), AI security, and automated verification workflows.

Research

Collaborator & Software Engineer at Harvard Ash Center & University of Cambridge (2024-03 – Present) • Cambridge (with Fields Medalist Timothy Gowers): developing software infrastructure for automated theorem proving using Lean and Coq; building verification tools for AI-assisted proofs.

• Harvard Ash Center: research on governance of emerging technologies with technical implementation focus.

Software

Engineer at Tribe Community Platform (2021-04 – 2021-08) • Developed reusable component library using React, Next.js, TypeScript; established patterns used across 5+ customer deployments.

Software

Developer at Bohr Technology (2018-12 – 2019-04) • Researched and implemented quantum optimization algorithms for Travelling Salesman Problem using ProjectQ framework; benchmarked against classical solvers.

Founder In

Residence at Entrepreneur First (2022-08 – 2022-12) • Selected as 1 of 50 founders from 1,000+ applicants for top-tier tech talent accelerator.

Program

Lead at VR First, Bahçeşehir University (2016 – 2018) • Led developer education on immersive technology and VR systems; built curriculum and mentored 50+ engineers.

MSc in Advanced Computer Science – University of Sussex (2021 – 2023-08)

BSc in Mathematics – Istanbul University (2012-09 – 2016)