Full-Time

Senior Software Engineer

Rust

Symbolica AI

Symbolica AI

11-50 employees

Category-theory based structured AI reasoning

No salary listed

No H1B Sponsorship

San Francisco, CA, USA

In Person

Category
Software Engineering (1)
Required Skills
LLM
Rust
Python
Microservices
REST APIs
Requirements
  • 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
  • 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.
Responsibilities
  • 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
Desired Qualifications
  • Experience supporting ML research or building ML infrastructure is a plus

Symbolica AI uses category theory to build AI models that reason with structured, inductive approaches rather than just predicting tokens. By embedding mathematical structure into inputs, outputs, and reasoning, the models can perform code synthesis and theorem proving more accurately and efficiently, while needing smaller datasets and less compute. The focus on compliance and interpretability aims to reduce hallucinations and produce explainable, verifiable results, which is important for sensitive fields like legal, medical, and financial services. Compared to traditional large language models, Symbolica emphasizes structured reasoning and transparency, enabling faster training and deployment and giving a competitive edge through reliability and formal reasoning capabilities.

Company Size

11-50

Company Stage

Series A

Total Funding

$33M

Headquarters

San Francisco, California

Founded

2022

Simplify Jobs

Simplify's Take

What believers are saying

  • Merck pilot doubles drug screening speed, cuts costs 20%.
  • Coding assistant pilots with Merck, JPMorgan; Q1 2026 release.
  • $20M bridge at $120M valuation from Khosla, General Catalyst.

What critics are saying

  • OpenAI o1 surpasses in reasoning benchmarks, diverts pilots within 6-12 months.
  • Merck terminates pilot after 10% gains vs. AlphaCode 2 in 3-6 months.
  • DeepMind open-sources toolkit, commoditizes IP within 12-18 months.

What makes Symbolica AI unique

  • Symbolica leverages category theory for structured inductive reasoning beyond token prediction.
  • Neurosymbolic models outperform OpenAI’s o1 by 15% in Alzheimer’s molecular simulations.
  • Eradicates hallucinations via algebraic structures for verifiable AI outputs.

Help us improve and share your feedback! Did you find this helpful?

Benefits

Company Equity

Growth & Insights and Company News

Headcount

6 month growth

-9%

1 year growth

-4%

2 year growth

11%
Diya TV
Apr 9th, 2024
Vinod Khosla backs Symbolica AI with $33 million investment

SAN FRANCISCO (Diya TV) - Vinod Khosla, renowned for his early investment in OpenAI, is doubling down on AI innovation with Symbolica, a startup launching today with a $33 million Series A funding round led by Khosla Ventures.

SiliconANGLE Media
Apr 9th, 2024
Beyond Transformers: Symbolica launches with $33M to change the AI industry with symbolic models

Beyond Transformers: Symbolica launches with $33M to change the AI industry with symbolic models - SiliconANGLE

VentureBeat
Apr 9th, 2024
Move over, deep learning: Symbolica's structured approach could transform AI

In addition to its public launch, Symbolica revealed today it has raised $33 million in total funding (Series A + seed), led by Khosla Ventures, with participation from Day One Ventures, General Catalyst, Abstract Ventures and Buckley Ventures.

Yahoo News Singapore
Apr 9th, 2024
Symbolica raises $31 million to develop AI systems to compete with OpenAI

Symbolica raises $31 million to develop AI systems to compete with OpenAI.