Destava

Research Intern

Pramaana Labs is hiring for Research Intern in Palo Alto. Intern level. First seen October 21, 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
Intern
First seen
October 21, 2026
Listed via
Ashby

What the posting says

THE ROLE As a Research Intern at Pramaana, you’ll contribute to one of several areas: model training, harness engineering, AI for Formal research or benchmark development. You’ll help run training experiments, investigate new approaches to symbolic reasoning, or build evaluation harnesses that help us measure and improve model performance. WHAT YOU'LL DO - Run model training experiments and analyze the results. - Design harnesses for auto-formalization and prover systems. - Build and maintain benchmarks to measure performance. - Investigate where models succeed or fail, and suggest…

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.