Startups · AI

Software Engineer, Product

Pramaana Labs · Palo Alto · On-site

← All jobs
About Pramaana Labs

Pramaana Labs is a frontier AI lab building the verification layer for high-stakes AI. We turn complex domain knowledge into machine-checkable systems that return proofs, counterexamples, and traceable explanations. Backed by Accel.

About 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. Found on 1752vc Careers, the job board for startup and VC roles.

What they're looking for

  • 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
  • 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
More about this role

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.

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

Read the full posting on Pramaana Labs's site ↗

Product

Build your edge while you search

Free tools for founders and investors, plus VC Unfiltered, our take on startups, venture and the people who build them.