Skip to main content

This job is no longer actively hiring. Talk to Jack to find live roles.

Lead Frontend Engineer at Symbolica AI

What if the next leap in AI isn't about bigger models, but better reasoning? This $30M+ SF-based research lab, backed by Khosla Ventures and General Catalyst, is hiring a founding Lead Frontend Engineer to define how the world interacts with the next generation of AI. Moving beyond simple neural networks, they are using category theory to build systems that actually reason. You will own the entire developer-facing experience, turning deep mathematical research into beautiful, functional products. If you are a high-craft engineer who lives at the intersection of design and code, this is your chance to shape the interface of intelligence.

Want to apply for this role?

Symbolica AI

This role is no longer actively hiring, but Jack can still help you discover similar open roles that fit.

Location

San Francisco, United States

Compensation

Not Disclosed

Company

Symbolica AI

See Open Roles

Role overview

As the founding Lead Frontend Engineer, you will bridge the gap between deep mathematical research and real-world application. You will own the entire developer-facing experience for a state-of-the-art agentic framework, building the sophisticated interfaces that allow users to discover, build, and scale complex multi-agent systems with precision and reliability.

Artificial Intelligence

Symbolica AI is a research-focused artificial intelligence company based in California and London that develops foundational technologies for enterprise-scale AI. Its work centers on advancing natural language processing by combining deep learning with structured cognition and symbolic reasoning, aiming to bridge the gap between human and machine language understanding. Symbolica AI’s models feature explicit episodic memory, formal reasoning capabilities, and are designed for reliability, compliance, and secure deployment. The company targets complex reasoning tasks—including theorem proving and code synthesis—by providing a technological foundation broader and more interpretable than standard large language models. Founded in 2022, backed by Khosla, General Catalyst, Abstract, Buckley, and Day One.

Why? We’ve taken a wrong turn. The AI industry is holding on to the hope that bigger models and more data will magically yield true intelligence, so it continues down this path of least resistance. Symbolica rejects this approach.

Intelligence isn't just statistical guesswork. It’s not pattern matching, brute force scale, or ingesting ever larger amounts of data. Intelligence requires structure, precise reasoning, and interpretability. Real intelligence is rooted in logic and structured thought.

LLMs revealed that scaling up pattern matching alone can produce startling results. This fueled excitement and hope, which mobilized incredible amounts of capital and talent. But patterns have limits. Guessing the next token, no matter how big the model or how vast the dataset, will never be reasoning. Hallucinations and errors have persisted, and incremental improvements plateau quickly. You can’t solve novel and unique real-world problems reliably and transparently with probabilistic predictions.

Symbolica was founded to build generalized intelligence. We're pioneering a fundamentally different approach—structured, deterministic, and verifiable reasoning. We’ve built a platform that seamlessly integrates powerful structured reasoning into existing codebases and augmenting major LLMs, making reliable intelligence instantly accessible as agents that are type-safe, interpretable, and cannot hallucinate about your codebase. Our platform replaces uncertainty with predictability; it turns alchemy into chemistry. We’re excited for the incredible impact it’s going to have. But this platform is just the beginning.

We're building a truly generalized reasoning engine. It’s a platform capable of explicit, symbolic problem-solving across any discipline. This isn't an incremental improvement; it's a new paradigm. By combining rigorous mathematical logic with cutting-edge ML techniques, we've built AI systems that understand, reason, and prove—systems you can trust completely and verify.

We’re building a world where machine systems become true collaborators. Not only intelligent, but also trustworthy, reliable, and interpretable. The days of blindly trusting the outputs of a black box are numbered.

Reliable AI is only possible with Symbolica.

What you will do

  • Design and implement polished, responsive UI and interactive experiences that translate complex agentic systems into intuitive user flows.
  • Lead the frontend architecture and vision for the company’s flagship developer product, ensuring seamless end-to-end integration across the stack.
  • Create and maintain a robust design system and reusable component library that balances high-performance engineering with visual excellence.

Who this is a fit for

  • Expert in TypeScript and React with a proven track record of building scalable, data-intensive web applications using RESTful APIs or GraphQL.
  • Exceptional design sense with the ability to translate abstract technical concepts into beautiful, accessible, and highly functional user interfaces.
  • High-velocity prototyper who is equally comfortable shipping production-ready code and advocating for developer experience at industry workshops and events.

Why this role is remarkable

  • Sit at the intersection of deep research and productization, working with a team that set a new public SOTA (85.28%) on ARC-AGI-2.
  • Join a high-conviction, ~30-person team backed by top-tier investors including Khosla Ventures, General Catalyst, and Abstract Ventures to rethink AI foundations.
  • Direct ownership of the flagship product experience from day one, defining the visual identity and usability of the next generation of reasoning AI.

How Jack & Jill work together

Jack
I get to know what you’re great at, then find roles you’d never find yourself.
Jill
I recruit from Jack’s network and make the intro when I spot a great match.
Thumbnail for Meet Jack

Jack gets to know what you're great at and what you want next, then searches 15 million jobs daily and helps you discover roles at companies like this.

Meet Jack

What happens next?

Jack’s an AI agent for job searching and career coaching. He works for you.

Jill is the AI recruiter working for the company. She recruits from Jack’s network.

If your profile’s a match and Symbolica AI wants to meet, Jill will make the intro. In the meantime, Jack will send you excellent alternatives.

Learn about Jack

Ready to find your next role?

Talk to Jack for 10 minutes and see your first matches.