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
The hardest questions in AI emerge when systems meet messy reality. Can ambiguous, exception-filled rules be formalized faithfully? Can we distinguish what is proved from what is assumed, and make the results reliable enough to use? As a Forward Deployed Engineer, you'll work where applied research, software engineering and customer problems meet. Found on 1752vc Careers, the job board for startup and VC roles.
What they're looking for
- Strong software engineering fundamentals. You can write clean code, reason about data structures and algorithms, and debug unfamiliar problems
- First-principles and logical thinking. You question assumptions, isolate the essential problem and explain your reasoning clearly
- High initiative and a habit of learning quickly. You have examples of making meaningful progress without waiting for detailed instructions
- A genuine interest in Pramaana's mission. You are deeply excited about reliable, verifiable AI to study the problem and build in this space
- Clear written and verbal communication, including the maturity to stay calm, be candid about uncertainty and work constructively with customers
- Comfort learning from more experienced engineers, asking for help when needed and incorporating feedback quickly
More about this role
Pramaana Labs is a frontier AI lab building the verification layer for AI. We turn complex human knowledge, including tax codes, legal rules, clinical guidelines and security protocols, into formal representations that support reasoning people can inspect and check. Our architecture pairs models trained to formalize and reason with a symbolic world model encoded in Lean 4. Founded in 2025 and headquartered in Palo Alto, Pramaana brings together researchers and formal methods experts from Google, DeepMind, and Glean.
The hardest questions in AI emerge when systems meet messy reality. Can ambiguous, exception-filled rules be formalized faithfully? Can we distinguish what is proved from what is assumed, and make the results reliable enough to use? As a Forward Deployed Engineer, you'll work where applied research, software engineering and customer problems meet. Alongside Pramaana engineers and researchers, you'll prototype and evaluate verifiable AI workflows, build tools and integrations, and help take promising systems into production. You'll investigate failures and turn lessons from the field into improvements to our research, models and core technology. We're looking for...
Browse similar: AI jobs · AI startup jobs · Startup jobs · San Francisco Bay Area