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
We’re looking for an AI Agent Engineer – a software engineer with deep experience in ML, LLMs, and/or agentic systems – to help push the limits of our internal agent framework and shape its design.
You’ll work side-by-side with researchers, ML engineers, and leadership to turn ambitious ideas into real-world systems. Expect to move fast, handle ambiguity, and fill the critical execution gap between research and production.
📍 This is an onsite role based in our SF office (345 California St).
Your Focus
About You
Nice-to-haves
What We Offer
Candidates for this position must be legally authorized to work in the United States. This position is not eligible for visa sponsorship or support.
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.
Symbolica is an artificial intelligence research laboratory developing a new class of reasoning systems grounded in category theory, type theory, and symbolic program synthesis. Our objective is to build a general architecture for machine reasoning that integrates formal semantics, symbolic execution, and neural optimization within a single coherent framework. The field continues to focus on scaling transformer architectures, yet scale alone does not produce systems capable of reliable reasoning. Our approach begins with mathematical structure, not statistical correlation. We’re developing neuro-symbolic foundation models that use category theory to bridge symbolic structure with neural adaptability—bringing precision, reasoning, and testability to modern AI systems.
Agentica is Symbolica’s open-source agent framework that is built on the premise that code is the most expressive interface through which models can interact with their environment. Rather than MCP tool calls, code execution unlocks so much more: context management, dynamic orchestration, and memory.
Founded in 2022, Symbolica operates from hubs in San Francisco and London, advised by Stephen Wolfram and backed by leading partners including Khosla Ventures, General Catalyst, Abstract, Day One Ventures, and Buckley Ventures.
Start building with Agentica: https://agentica.symbolica.ai
Learn more: https://symbolica.ai
