Senior Full Stack Software Engineer

Cynch AI is a Series A company that has grown revenue 4x in the past year. We build neuro‑symbolic AI applications for our accounting firm, Aardvark Tax Advisors, so our tax professionals can focus on the work and decisions that matter most. We are growing both organically and through strategic acquisitions, with a mix of remote and onsite employees and offices in San Francisco, the South Bay, and the East Bay.

We are looking for a senior software engineer who has fully embraced AI tooling and wants to stay at the forefront of how modern engineering teams move faster, build higher‑quality software, and solve more ambitious problems. This is a full‑stack role with a backend bias: you'll work across the stack, but the hardest problems are in the data model, execution engines, and reliability—not just the UI or API surface.

The kind of work you may own here includes building execution engines for AI‑assisted tax workflows, document‑processing pipelines, data models for complex domain logic, systems for tracing and auditing automated decisions, integrations with tax/accounting platforms, and internal platforms that allow a small operations team to handle substantially more customer volume. You do not need prior tax or accounting experience, but you should have experience building production software where correctness, performance, and reliability really mattered.

We are changing how software can be built as we are building it; being all‑in on AI‑assisted development is central to this role.

• Work with founders, product, AI, operations and domain experts as you fully own substantial product and platform work from problem definition through production rollout
• Build backend systems that can handle real production complexity: clear APIs, well‑modeled data, reliable execution, useful observability, and maintainable code
• Turn messy operational workflows into clean software abstractions, internal tools, automations, and customer‑facing features
• Continuously help the team discover where AI meaningfully improves software quality and velocity, and where it does not
• Improve the engineering system itself: better tools, better patterns, better deployment practices, better observability, fewer repeated mistakes, and less accumulated technical debt
• Mentor other engineers by raising the quality of design discussions, implementation choices, reviews, and production ownership

We are all‑in on AI‑assisted development, but with high standards for rigor. Your default process should integrate AI tools into your daily engineering workflows to continuously improve velocity and quality. Engineers who thrive here use AI to explore designs, generate and test implementations, debug unfamiliar code, refactor safely, improve observability, and accelerate learning—while maintaining high standards for correctness, maintainability, and production quality.

We are not looking for people who simply generate code and hope it works; we are looking for engineers who use AI to move faster because they already have the technical judgment to evaluate, constrain, test, and improve what it produces.

You do not need to know every technology we use, but you should be excited to work with a similar stack and learn quickly where needed.

• Type Script, Python, Julia, Java, Go, Datalog
• Knowledge graphs, ontologies, neuro‑symbolic AI
• AWS EC2, ECS, RDS (postgres), Lambda, S3, Bedrock

• Deep backend expertise and the ability to work across the stack, including frontend product experiences when needed
• Has been directly responsible for a production system where correctness, performance, reliability, or scale created meaningful engineering complexity
• Has designed data models, execution paths, background jobs, queues, retries, observability, and operational workflows for systems that had to keep working under real production load and real failure modes
• Experience building systems where the core challenge was technical depth: workflow execution, rule evaluation, document processing, search/indexing, data pipelines, distributed jobs, domain‑specific language implementation, or…