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 training models to formalize complex knowledge and reason with symbolic world models. As a Research Scientist focused on AI, you’ll develop approaches that improve the accuracy, coverage, efficiency, and generalization of our domain formalizer, autoformalizer, and prover. Found on 1752vc Careers, the job board for startup and VC roles.
What they're looking for
- A demonstrated track record of high-impact research, including research projects that have been successfully deployed and materially advanced a product, core technology, or organization's capabilities and direction
- Deep hands-on experience in foundation model training and post-training, including one or more of large-scale pretraining, reinforcement learning, reasoning-focused training, or synthetic data generation
- Strong technical depth in modern AI research, including frontier language models, agentic systems, multi-step reasoning, or structured prediction
- Proficiency in Python and modern ML frameworks such as PyTorch or JAX, with experience implementing and scaling training experiments
- Exceptional research judgment and experimental rigor, with the ability to identify promising directions, formulate hypotheses, design meaningful evaluations, and distinguish genuine advances from incremental gains
- Demonstrated technical leadership and independence, with experience driving ambitious research initiatives, mentoring scientists, and collaborating effectively across research and engineering while remaining a strong individual contributor
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.
We’re training models to formalize complex knowledge and reason with symbolic world models. As a Research Scientist focused on AI, you’ll develop approaches that improve the accuracy, coverage, efficiency, and generalization of our domain formalizer, autoformalizer, and prover.
Your scope spans model training, data quality, representations, and evaluation. You’ll work with an RL Scientist on reinforcement-learning approaches, Research Engineers on reliable experimentation, and Formal Methods experts on whether model outputs faithfully represent the source knowledge.
Lead ambitious research at the intersection of foundation models, formal reasoning, and verification,...
Browse similar: AI jobs · AI startup jobs · Startup jobs · San Francisco Bay Area