Destava

Research Scientist, Reinforcement Learning

Pramaana Labs is hiring for Research Scientist, Reinforcement Learning in Palo Alto. Mid level. First seen October 21, 2026; open as of November 11, 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
Mid
First seen
October 21, 2026
Listed via
Ashby

What the posting says

THE ROLE We'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 frontier of autoformalization and proving, and innovating on RL algorithms, data, and evals. Your work will also define how our models leverage test-time compute to solve long-horizon logical tasks. WHAT YOU'LL ACTUALLY WORK ON - Scale RLVR to new, real-world domains using the Lean kernel as a deterministic reward…

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.