Software Engineer, Product

Pramaana Labs•Palo Alto, CA

About The Position

Pramaana Labs is a frontier AI lab building a verification layer for AI. Founded in 2025 and headquartered in Palo Alto, the company turns complex human knowledge—such as tax codes, legal rules, clinical guidelines, and security protocols—into formal representations so AI answers can be traced, challenged, and proved. Its architecture combines foundation models trained to formalize and reason with a symbolic world model encoded in Lean 4. The Product Engineer will turn Pramaana’s research into useful, trustworthy products for customers and developers. This hands-on, early-stage role spans customer-facing applications, developer APIs, and product experiments. The engineer will help discover user needs, build experiences across the stack, and improve them through real-world use, working closely with product, design, engineering, and research. The role owns projects from MVP through production and aims to make complex reasoning accessible through intuitive interfaces and thoughtful developer experiences.

Requirements

At least 2–3 years of software engineering experience, with examples of products or features shipped and improved.
Full-stack fundamentals, including comfort building interfaces with TypeScript and React, backend services with Python or Node.js, and working with APIs and relational databases.
Willingness to work across both frontend and backend, even if stronger on one side of the stack.
Product judgment and attention to detail, including a focus on user goals, reducing unnecessary complexity, and making experiences understandable.
Practical experience delivering production software, including testing, version control, code review, deployment, and debugging.
Understanding of authentication, authorization, and responsible handling of user data.
Ability to work through ambiguity by breaking loosely defined problems into steps, testing approaches, and adjusting based on what is learned.
Ownership, curiosity, follow-through, early communication about problems, and ability to work across engineering, design, product, and research.

Nice To Haves

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.
Curiosity about formal verification; prior experience in formal verification is not required.

Responsibilities

Take product problems from initial exploration to working software, owning the frontend, backend, data models, integrations, and testing.
Build responsive interfaces and workflows for bringing in knowledge, reviewing rules, asking questions, and inspecting results and supporting evidence.
Attend to interaction details, accessibility, loading states, and errors.
Build reliable APIs and services for document processing, asynchronous jobs, verification workflows, and customer integrations.
Make progress, failures, and recovery understandable to users.
Partner with researchers to integrate models, agents, and verification services, turning research capabilities into dependable customer experiences.
Work with customers and internal stakeholders to understand workflows, test assumptions, and identify improvements.
Instrument features and use feedback and usage data to guide iteration.
Write tests, review code, monitor shipped features, investigate production issues, and improve performance, security, and reliability as usage grows.
Create reusable components, services, and integration patterns that support multiple products.
Make practical decisions about what to share, what to keep simple, and when prototypes need more durable implementations.