---
title: 'Lead Frontend Engineer (UI/UX) – AI Agentic Systems at Symbolica AI'
canonical: 'https://feeny.ai/job/lead-frontend-engineer-ui-ux-ai-agentic-systems-symbolica-ai-san-francisco-w9kqp11ga1a2'
type: 'job'
last_seen: '2026-09-08'
---

# Lead Frontend Engineer (UI/UX) – AI Agentic Systems at Symbolica AI

- **Company:** Symbolica AI
- **Location:** San Francisco, CA
- **Employment:** full-time
- **Work type:** onsite
- **Posted:** 2025-09-19
- **Last confirmed live:** 2026-09-08
- **Apply:** https://jobs.gem.com/symbolica/am9icG9zdDq1wvSjtDwGh7D_6UD4PyRH

## Job description

## About the Role

As a Lead Frontend Engineer you will be working on a highly technical interface for deploying AI systems. You’ll take ownership of building and iterating on functional prototypes for potential customer use cases, ensuring seamless end-to-end integration across the stack. Additionally, you’ll work closely with our research team to create interactive interfaces that bring agentic systems to life.

📍 This is an onsite role based in our SF office (345 California St).

## Your Focus

- Own and develop a vision for how developers discover, onboard, build, and scale applications with Symbolica's new flagship product.
- Design and implement intuitive, responsive, and visually polished UI for complex systems, with a strong emphasis on usability and accessibility.
- Partner with product and design to translate abstract concepts into clear, elegant user flows and interactive experiences.
- Build, test, and iterate on functional prototypes based on real user needs.
- Collaborate with researchers, engineers, and product leads to turn ideas into polished features.
- Create and maintain a consistent design system and reusable frontend components that balance aesthetics with performance.
- Debug performance issues and run A/B tests to continuously improve UX.
- Attend developer events and workshops to introduce, prototype, and teach technical audiences how to build and deploy complex multi-agent systems.- Translate this external feedback to build user empathy and advocate for developer experience internally.

## About You

- Excellent at translating complex ideas into simple, beautiful, and highly usable UI/UX.
- Proficient in TypeScript and React.
- Equally passionate about design and engineering – you care as much about visual polish, accessibility, and interaction design as you do about clean, scalable code.
- Comfortable prototyping quickly and shipping production-ready code.
- Experience collaborating with designers or directly owning design systems, style guides, or user interface patterns.
- Experience working on machine learning and/or AI projects is a plus.
- Experience building scalable, data intensive web apps, including RESTful APIs and GraphQL.
- Passion for writing clean, maintainable, and well-documented code.
- Effective communication skills and a collaborative mindset to work across diverse teams.

## 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 productisation.

## About Symbolica AI

## Company Overview
- **One-liner**: Symbolica is an AI research laboratory developing reasoning systems grounded in category theory, type theory, and symbolic program synthesis.
- **Entity Type**: Private (Series A)
- **Headquarters**: San Francisco, California, United States
- **Founded**: 2022
- **Founders**: George Morgan

## Core Business
- **Primary industry**: Artificial intelligence / Software Development
- **Target customers**: B2B – large enterprise partners and customers seeking custom structured models for code generation, reasoning, and formal verification.
- **Mission or purpose**: To build a general architecture for machine reasoning that integrates formal semantics, symbolic execution, and neural optimization within a single coherent framework.

## Products & Services
- **Agentica**: An open-source agent framework (Python + TypeScript) that uses code as the primary interface for model interaction, enabling context management, dynamic orchestration, and memory. [symbolica.ai](https://www.symbolica.ai/careers)
- **Symbolica Platform**: A production system for running typed, multi-agent workloads. [linkedin.com](https://linkedin.com/company/symbolica-ai)
- **Custom Pre-trained Models**: Models designed for specific tasks such as code synthesis over large codebases and mathematical theorem proving, delivered via consulting and support services. [techcrunch.com](https://techcrunch.com/2024/04/09/symbolica-hopes-to-head-off-the-ai-arms-race-by-betting-on-symbolic-models/)

## Market Standing
- **Valuation/Market Cap**: Not disclosed
- **Key Metric**: Total funding of **$41.25 million** (Seed: $8.2M, Series A: $33M led by Khosla Ventures, closed April 2024). [techcrunch.com](https://techcrunch.com/2024/04/09/symbolica-hopes-to-head-off-the-ai-arms-race-by-betting-on-symbolic-models/)
- **Notable Investors/Partners**: Khosla Ventures, General Catalyst, Abstract Ventures, Buckley Ventures, Day One Ventures. Advisor: Stephen Wolfram. [linkedin.com](https://linkedin.com/company/symbolica-ai)
- **Growth Signals**: 16 employees (+16.7% YoY as of 2025); offices in San Francisco and London with plans to double headcount by 2025; launched open-source Agentica in December 2025; active hiring events (Rust hackathon in Nov 2025). [linkedin.com](https://linkedin.com/company/symbolica-ai), [techcrunch.com](https://techcrunch.com/2024/04/09/symbolica-hopes-to-head-off-the-ai-arms-race-by-betting-on-symbolic-models/)

## Competitive Advantages
- **Neuro-symbolic foundation**: Combines category theory, type theory, and symbolic program synthesis with neural optimization – yielding smaller, more interpretable models that require less data and compute than pure deep learning approaches.
- **Formal reasoning & provable outputs**: Models produce structured, reliable outputs with formal reasoning capabilities, addressing a key limitation of current large language models.
- **Cost efficiency**: Relative small model size enables cheaper training and inference, giving the company “several years” of runway after Series A. [techcrunch.com](https://techcrunch.com/2024/04/09/symbolica-hopes-to-head-off-the-ai-arms-race-by-betting-on-symbolic-models/)

## Strategic Focus
- **Current priorities**: Scaling the open-source Agentica framework to drive adoption; developing custom enterprise models for code synthesis and mathematical reasoning; expanding the engineering and research team (targeting doubling by 2025). [techcrunch.com](https://techcrunch.com/2024/04/09/symbolica-hopes-to-head-off-the-ai-arms-race-by-betting-on-symbolic-models/)
- **Direction for growth**: Deepen partnerships with large enterprises, publish research on the intersection of formal logic and AI, and build a community around category-theory-based reasoning systems.

## Why Work Here
- **Culture**: A research-driven environment that values “deep math and AI” – employees work on first-principles problems in category theory, type theory, and automated theorem proving. The team is small (16 people) with a high concentration of technical and research roles (over 50% of staff). [linkedin.com](https://linkedin.com/company/symbolica-ai)
- **Work style**: Hybrid presence in San Francisco and London offices; no explicit remote-only policy, but the company supports distributed teams across the US and UK.
- **Perks & recognition**: Employer rating of **4.3/5** on LinkedIn (17 reviews), with compensation scoring **4.6/5** and culture scoring **4.1/5**. [linkedin.com](https://linkedin.com/company/symbolica-ai)
- **Engineering culture**: Heavy use of Rust, formal logic, and compilers; recent hackathon focused on Rust and automated theorem proving. The company explicitly seeks engineers and researchers “kept awake wondering what will come after deep learning.” [symbolica.ai](https://www.symbolica.ai/careers)
- **Current hiring status**: No open positions listed as of the latest update, but the company encourages checking back and previously hosted events to recruit Rust/formal methods talent. [symbolica.ai](https://www.symbolica.ai/careers)

## Sources
1. [symbolica.ai](https://www.symbolica.ai/careers)
2. [linkedin.com](https://linkedin.com/company/symbolica-ai)
3. [builtin.com](https://builtin.com/company/symbolica-ai)
4. [techcrunch.com](https://techcrunch.com/2024/04/09/symbolica-hopes-to-head-off-the-ai-arms-race-by-betting-on-symbolic-models/)
5. [cbinsights.com](https://www.cbinsights.com/company/symbolica)