Senior Software Engineer (Rust)

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.

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.

• 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

• 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.

• https://fortune.com/2024/04/09/vinod-khosla-former-tesla-autopilot-engineer-ai-models/
• https://venturebeat.com/ai/move-over-deep-learning-symbolicas-structured-approach-could-transform-ai/