Destava

Research Scientist, AI

Pramaana Labs is hiring for Research Scientist, AI in Palo Alto. Senior level. First seen October 27, 2026; open as of November 12, 2026. Jobs taken straight from company career pages — no aggregator in between.

Save to applyRead more and apply on Pramaana Labs' site

With Destava: How well do you fit? · Tailor my résumé · Write a cover letter

Company
Pramaana Labs
Where
Palo Alto
Level
Senior
First seen
October 27, 2026
Listed via
Ashby

What the posting says

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. 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. What You'll Do -…

Read more and apply on Pramaana Labs' site

This page includes information from the O*NET 31.0 Database by the U.S. Department of Labor, Employment and Training Administration (USDOL/ETA). Used under the CC BY 4.0 license. O*NET® is a trademark of USDOL/ETA.