Product Manager

Pramaana Labs • Palo Alto, CA

2d

About The Position

Pramaana Labs is a frontier AI lab building a verification layer for AI. Its architecture pairs foundation models trained to formalize and reason with a symbolic world model encoded in Lean 4. The company turns complex human knowledge—including tax codes, legal rules, clinical guidelines, and security protocols—into formal representations so AI answers can be traced, challenged, and proved.

Pramaana Labs is seeking a hands-on Product Manager to turn its formalization and verification capabilities into products people use and trust. The Product Manager will own a defined product area from problem discovery through launch and adoption, working closely with engineering, research, design, domain experts, and the commercial team. Planned product areas include a self-serve workbench and developer experience, Harbor for tax, and government products. The role will help establish product direction, make practical trade-offs, and stay close to users as products evolve.

Requirements

• Experience taking a technical product from an ambiguous problem to shipped software and sustained usage, with clear examples of decisions and outcomes.
• Strong customer discovery and product judgment, including the ability to identify underlying needs, test assumptions, and prioritize with limited time and resources.
• Technical fluency to discuss APIs, data flows, model behavior, and system constraints with engineers and researchers and translate them into product choices.
• Ability to lead across functions through clear reasoning, practical scoping, and follow-through.
• Comfort with information-rich workflows where correctness, evidence, and user trust matter.

Nice To Haves

• Experience with developer tools, self-serve software, enterprise AI, or products used in regulated workflows.
• Relevant tax or government workflow experience for the corresponding vertical role.
• Experience as an early PM, establishing product practices and helping a technical team find repeatable adoption.

Responsibilities

• Talk to users, observe workflows, and identify problems where formalization and verification can deliver measurable improvement.
• Define the target user, use cases, roadmap, and success measures for the assigned product area; prioritize what to build and why.
• Define requirements, user journeys, and acceptance criteria with engineering, research, design, and domain experts.
• Make verification understandable by helping users inspect sources, assumptions, supporting evidence, unresolved questions, and changes without overstating what the system has established.
• Scope experiments and releases, resolve dependencies, test with users, and follow through on quality and adoption after launch.
• Track activation, repeat usage, task completion, time to value, and product quality, and use evidence to guide decisions.
• Support demos and customer discovery, bring market feedback into the roadmap, and distinguish reusable product needs from customer-specific implementation requests.

What This Job Offers

• Job Type: Full-time
• Education Level: No Education Listed