
Symbolica AI builds controllable, interpretable, and reliable AI models that solve complex formal reasoning and code-synthesis tasks for enterprise use. The company develops neuro-symbolic foundation…

Symbolica AI builds controllable, interpretable, and reliable AI models that solve complex formal reasoning and code-synthesis tasks for enterprise use. The company develops neuro-symbolic foundation…
Founded: 2022
Headquarters: San Francisco Bay Area (Palo Alto)
Product: Agentica — open-source agent-builder and SDK
Tech focus: Neuro-symbolic models using category theory and type theory
Latest funding: Series A on 2024-04-09 (~$33M, led by Khosla Ventures)
Structured formal reasoning, program synthesis, and deployable enterprise AI that requires interpretability and testability.
2022
Software Development
33000000
Participants included Abstract (Abstract Ventures), Buckley Ventures, Day One Ventures, and General Catalyst.
“Led by prominent venture firm Khosla Ventures with participation from multiple institutional VCs”
| Company |
|---|
About Us 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. 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.
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 As a Founding DevOps Engineer , working closely with our ML Infrastructure Lead, you will design, build, and optimize the infrastructure and tools that enable us to take our research and development efforts from the lab into a highly reliable, performant and secure software stack in production. You'll help accelerate the processes involved in going from research prototypes into production and enterprise ready platforms with security, availability and reliability in mind.
📍 This is an onsite role that can be based in either of our SF, or London offices.
Key Responsibilities
About You
What We Offer
Read More About Symbolica
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. 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.
Your next opportunity is in here somewhere. Sign up to explore 70,000+ startups and their open roles. No spam. No gamification. Just jobs.
70,000+
Startups
80,000+
Open Roles
4,500+
New This Week