
Symbolica is an AI research lab pioneering the application of category theory to enable logical reasoning in machines. We’re a well-resourced, nimble team of experts on a mission to bridge the gap between theoretical mathematics and cutting-edge AI, creating symbolic reasoning models that think like humans – precise, logical, and interpretable. While others focus on scaling data-hungry neural networks, we’re building AI that understands the structures of thought, not just patterns in data. Our approach combines rigorous research with fast-paced, results-driven execution. We’re reimagining the very foundations of intelligence while simultaneously developing product-focused machine learning models in a tight feedback loop, where research fuels application. Our vision is to create AI systems that transform industries, empowering machines to solve humanity’s most complex challenges with precision and insight.

Symbolica is an AI research lab pioneering the application of category theory to enable logical reasoning in machines. We’re a well-resourced, nimble team of experts on a mission to bridge the gap between theoretical mathematics and cutting-edge AI, creating symbolic reasoning models that think like humans – precise, logical, and interpretable. While others focus on scaling data-hungry neural networks, we’re building AI that understands the structures of thought, not just patterns in data. Our approach combines rigorous research with fast-paced, results-driven execution. We’re reimagining the very foundations of intelligence while simultaneously developing product-focused machine learning models in a tight feedback loop, where research fuels application. Our vision is to create AI systems that transform industries, empowering machines to solve humanity’s most complex challenges with precision and insight.
Founded: 2022
Headquarters: San Francisco (also lists London presence)
Team size: ~20 employees
Core focus: Applying category theory & type theory to symbolic reasoning and agentic systems
Notable product: Agentica — type-safe, composable framework for agent workloads
Series A (Apr 2024) led by Khosla Ventures; total reported raise $33M
| Company |
|---|
Bridging mathematical foundations (category theory, type theory) with practical AI to enable symbolic reasoning and formal semantics in agentic systems.
2022
Software Development
33000000
Series A announced April 2024; participating investors reported to include Abstract, Buckley Ventures, Day One Ventures, and General Catalyst.
“Series A led by Khosla Ventures with participation from Abstract, Buckley Ventures, Day One Ventures, and General Catalyst”
About Us
While others focus on scaling data-hungry neural networks, we’re building AI that understands the structures of thought , not just patterns in data.
Symbolica is an AI research lab pioneering the application of category theory to enable logical reasoning in machines. We’re a well-resourced, nimble team of experts on a mission to bridge the gap between theoretical mathematics and cutting-edge technologies, creating symbolic reasoning models that think like humans – precise, logical, and interpretable.
Our approach combines rigorous research with fast-paced, results-driven execution. We’re reimagining the very foundations of intelligence while simultaneously developing product-focused machine learning models in a tight feedback loop, where research fuels application.
Founded in 2022, we’ve raised over $30M from leading Silicon Valley investors, including Khosla Ventures, General Catalyst, Abstract Ventures, and Day One Ventures, to push the boundaries of applying formal mathematics and logic to machine learning.
Our vision is to create AI systems that transform industries, empowering machines to solve humanity’s most complex challenges with precision and insight. Join us to redefine the future of AI by turning groundbreaking ideas into reality.
About The Role
We’re looking for a Python Software Engineer to take full ownership of building and shipping the core systems that power Symbolica’s applied AI products. This is a true generalist role: you’ll work across our SDK, developer libraries, server-side platform, integrations with inference providers, and applied AI features such as agent engineering, per-model optimisations, and context tuning.
Your work will directly shape the developer and user experience — from designing clean APIs and libraries that customers use every day, to building the backend systems and integrations that make it all reliable at scale. You’ll be the bridge between research prototypes and production-quality systems, helping turn cutting-edge ideas into tools that developers love.
📍 This is an onsite role based in our London office (66 City Rd).
Your focus
About You
What We Offer
We are able to sponsor a Skilled Worker visa for qualified candidates applying to this position. This specific role exceeds the minimum salary threshold set by the UK government for Skilled Worker visa sponsorship. Please note that English language proficiency at B2 level or higher is required for this role.
Symbolica is an equal opportunities employer. We celebrate diversity and are committed to creating an inclusive environment for all employees, regardless of race, gender, age, religion, disability, or sexual orientation.