Software Engineer, Product

Company […] 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