About us

Symbolica was founded on a simple idea: intelligence is about structure and reasoning, not just pattern matching.

For decades, AI has been split between symbolic systems that are reliable but brittle and neural systems that are flexible but unpredictable. We’re building a bridge between the two.

We’re an AI research lab combining deep mathematics and machine learning to create systems that truly reason. Using category and type theory as a unifying framework, we develop interpretable, reliable and scalable foundations for intelligence and turn them into real products, working in a tight feedback loop where research directly shapes application.

Agentica is the latest expression of this vision: an agent framework for tool use and multi-agent orchestration through arbitrary code execution. It recently achieved 85.28% on ARC-AGI-2, setting a new public SOTA.

Founded in 2022, we’ve raised over $30M from investors including Khosla Ventures, General Catalyst, Abstract Ventures and Buckley Ventures, backing us to rethink the mathematical foundations of machine learning.

If you’ve ever been kept awake wondering what comes after deep learning, you’ll fit right in.

About The Role

We’re looking for Senior Software Engineers with knowledge of Rust to take full ownership of delivering working systems from prototypes and high-level specs — taking ideas from the research team, turning them into production-quality systems, and shipping them quickly. You’ll work closely with researchers, ML engineers, and leadership to turn ambitious ideas into real products. You'll be expected to move fast, handle ambiguity, and fill the critical execution gap between research and production.

This role is perfect for someone who thrives on shipping — who sees incomplete specs as an opportunity, not a blocker — and who wants to build systems that work reliably, at scale, and in the real world.

📍 This is an onsite role based in our SF office.

Your Focus

Translate research prototypes and high-level concepts into production-quality software
Own deliverables end-to-end: take specifications, clarify requirements, and execute to completion
Build systems that are correct, reliable, maintainable, and performant
Work closely with ML researchers and engineers to integrate research outputs into functional systems
Own critical engineering tasks with high standards and attention to detail — data pipelines, API integrations, testing, error handling, system integration, and more
Participate in code reviews, technical discussions, and architecture planning
Contribute to improving processes for how we build, ship, and deliver features across teams

About You

5+ years of hands-on software engineering experience
Proven ability to execute on incomplete specs and drive projects to completion
Strong experience writing production-quality code (Python & Rust strongly preferred)
Comfortable building full-stack systems (APIs, data pipelines, microservices, internal tools)
High standards for code quality, maintainability, and correctness
Comfortable in fast-moving, ambiguous environments where priorities shift quickly
Bias for ownership: you see what needs to get done and take responsibility for delivering
Experience supporting ML research or building ML infrastructure is a plus
Deep understanding of LLM architecture and inference-time optimisation.
Strong knowledge of the agentic ecosystem (frameworks, tools, MCP servers, MAS architectures).
Track record of rapid prototyping in the LLM/agent space.
Experience orchestrating and evaluating complex multi-agent systems.

What We Offer

Competitive salary and early-stage equity package
A high-trust, execution-first culture with minimal bureaucracy
Direct ownership of meaningful projects with real business impact
A rare opportunity to sit at the interface between deep research and real-world productization

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:

Senior Software Engineer (Rust)

TLDR