OptiTalent · Job Finder
Jobs at Pramaana Labs
8 open roles read nightly from companies’ own hiring pages. Each one links to the original ad.
1–8 of 8 jobs
Research Scientist, AI
11 days agoPramaana Labs · Palo Alto, California, United States +1
On-siteFull-timeData & AIWe’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.
Research Engineer
11 days agoPramaana Labs · Palo Alto, California, United States +1
On-siteFull-timeEngineeringWe’re looking for a Research Engineer to build and improve the systems that turn complex knowledge into formal representations and use them to reason and prove. You’ll work closely with researchers and formal methods engineers on Pramaana’s domain formalizer, autoformalizer,…
Product Manager
2 weeks agoPramaana Labs · Palo Alto, California, United States +1
On-siteFull-timeProductWe’re looking for a hands-on Product Manager to turn Pramaana’s formalization and verification capabilities into products people use and trust. You’ll own a product area from discovering the problem through launch and adoption, working closely with engineering, research,…
QA Engineer, AI Verification Systems
2 weeks agoPramaana Labs · Bengaluru, India
Full-timeMid levelEngineeringQA/SDET (Software Development Engineer in Test) for a rules-to-proof product. You test every stage of the pipeline, from rule input through formal specs, prover output and proof artifacts to the customer-facing APIs and proof viewers. You raise clear, reproducible defects and…
Pramaana Labs · Palo Alto, California, United States +1
On-siteFull-timeMid levelData & AIWe’re looking for a full-stack engineer with focus on infrastructure to build the tools and systems that help Pramaana’s engineers and researchers develop, test, deploy, and operate their work more effectively.
Product Designer
3 weeks agoPramaana Labs · Palo Alto, California, United States +1
On-siteFull-timeDesignPramaana is building AI systems that make their answers verifiable, with explicit rules, assumptions, and proofs that people can inspect. We’re looking for a Product Designer to turn that technical depth into clear, useful, and thoughtfully crafted experiences.
Software Engineer, Product
3 weeks agoPramaana Labs · Palo Alto, California, United States +1
On-siteFull-timeMid levelEngineeringWe’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,…
Research Scientist, Reinforcement Learning
2 months agoPramaana Labs · Palo Alto, California, United States
On-siteFull-timeScience & researchWe're training foundation models to natively interact with symbolic world models. As an RL Post-Training Researcher, you'll take foundation models and scale their reasoning capabilities: applying RLVR to new domains using verified rewards from the Lean kernel, pushing the…
Updated 06 Nov 2026 09:37 UTC from the OptiTalent job library.