Research Engineer
Pramaana Labs is hiring for Research Engineer 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.
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 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, and prover, making these systems more accurate, repeatable, and efficient. This is a hands-on role combining software engineering with careful experimentation. Your work could include building model and tool orchestration, improving evaluation, developing data pipelines and training environments, or implementing…
Read more and apply on Pramaana Labs' site
More jobs like this
Applied AI Engineer, Creative Experiences
Save to applyHuman-Centered AI Research Intern, Causal Reasoning Models (Summer 2027)
Save to applyHPE Labs - AI/ML Engineer (Technical Lead)
Save to applyHPE Labs - AI/ML Engineer (Technical Lead)
Save to apply
See all 571 Computer and Information Research Scientists jobs in San Francisco Bay Area
A search agent finds the jobs this list misses: the ones that mean the same without the same words. Have Destava watch for research engineer jobs in Palo Alto, new matches every morning on your own account.
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.