Software Engineer, Product

Pramaana; Palo Alto (CA); On-site; USD 120,000 - 170,000; Full time

Job summary

Pramaana Labs is building the verification layer for AI from its Palo Alto headquarters. We seek a hands-on Product Engineer to turn research into customer-ready software across the stack.

You will own features from MVP to production and work across product, design, and research to make complex AI capabilities approachable and trustworthy. You'll collaborate with researchers to integrate models and verification services, while shaping workflows, data models, and APIs.

Qualifications

• 2–3 years of software engineering experience with shipped products.
• Strong full-stack fundamentals across frontend and backend.
• Proficiency with TypeScript, React, and REST/API design.
• Experience with authentication, authorization, and data privacy.
• Ability to break down problems and own features end-to-end.

Responsibilities

• Own frontend, backend, data models, integrations, and testing to deliver usable features.
• Build intuitive, accessible interfaces for users and developers.
• Develop reliable APIs and services for document processing and verification workflows.
• Collaborate with product, design, engineering, and research teams.
• Learn from users; instrument features with usage data to guide iteration.
• Write tests and monitor performance, security, and reliability as usage grows.
• Create reusable components and patterns for multiple products.

Skills

TypeScript

React

Python

Node.js

APIs

Relational databases

Testing

Authentication/Authorization

Tools

Frontend frameworks (React)

Job description

COMPANY Pramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax codes, legal rules, clinical guidelines and security protocols, into a formal representation, so every AI answer can be traced, challenged, and proved. Pramaana's architecture pairs foundation models trained to formalize and reason with a symbolic world model encoded in Lean 4. Pramaana was founded by a team out of Google, DeepMind, and Glean, combining frontier AI researchers and formal methods experts.

THE ROLE

We're looking for a full-stack Product Engineer to turn Pramaana's research into products that customers and developers can use and trust. You'll make complex reasoning accessible through intuitive interfaces and thoughtful developer experiences, helping users understand, inspect, and verify AI outputs. This is a hands-on, early-stage role spanning customer-facing applications, developer APIs, and new product experiments. You won't be confined to one feature or product. You'll help discover what users need, build the experience across the stack, and improve it through real-world use. You'll work closely with product, design, engineering, and research, taking ownership of projects from the MVP through production. We're looking for someone who cares about both how AI works and how people experience it - and who enjoys making complex technology feel straightforward.

WHAT YOU'LL DO

• Build complete product experiences. Take problems from initial exploration to working software, owning the frontend, backend, data models, integrations, and testing needed to deliver a useful result.
• Create thoughtful, responsive interfaces. Build workflows that help users bring in knowledge, review rules, ask questions, and inspect results and supporting evidence. Pay attention to interaction details, accessibility, loading states, and errors.
• Develop reliable APIs and services. Build the systems behind document processing, asynchronous jobs, verification workflows, and customer integrations. Make progress, failures, and recovery understandable to users.
• Turn research capabilities into usable products. Partner with researchers to integrate models, agents, and verification services. Help bridge the gap between a promising technical demonstration and an experience customers can depend on.
• Learn directly from users. Work with customers and internal stakeholders to understand their workflows, test assumptions, and identify useful improvements. Instrument features and use feedback and usage data to guide iteration.
• Own quality beyond launch. Write tests, review code, monitor the features you ship, and investigate production issues. Improve performance, security, and reliability as usage grows.
• Build foundations that support multiple products. Create reusable components, services, and integration patterns. Make practical decisions about what to share, what to keep simple, and when a prototype needs a more durable implementation.

YOU WILL THRIVE IN THIS ROLE IF YOU HAVE

• Minimum 2-3 years of software engineering experience, with examples of products or features you've shipped and improved. We value meaningful hands-on ownership more than a particular title or background.
• Strong full-stack fundamentals. You're comfortable building interfaces with TypeScript and React, backend services with Python or Node.js, and working with APIs and relational databases. You may be stronger on one side of the stack, but you're willing to work across both.
• Product judgment and attention to detail. You think about the user's goal, question unnecessary complexity, and care whether the final experience is understandable - not just technically functional.
• Practical experience delivering production software. You're familiar with testing, version control, code review, deployment, and debugging. You understand the basics of authentication, authorization, and handling user data responsibly.
• Comfort working through ambiguity. You can break a loosely defined problem into manageable steps, test an approach, and adjust as you learn.
• Ownership, curiosity, and clear communication. You follow through on what you build, surface problems early, and work well with people across engineering, design, product, and research.

ESPECIALLY STRONG CANDIDATES MAY ALSO HAVE

• Experience building applications with LLM APIs, retrieval, agent workflows, or evaluation systems.
• Experience with enterprise software, developer tools, or workflows involving complex documents, structured knowledge, or auditable decisions.
• Strong frontend craft, including experience building editors, data visualizations, or other information-rich interfaces.
• Experience taking a startup product, substantial side project, or open-source tool from an idea to active users. Prior experience in formal verification is not required.

We're looking for strong builders who are curious about the technology and motivated to make it useful.