# Research Engineer at Pramaana Labs

- Company: Pramaana Labs
- What the company does: Pramaana Labs is a frontier AI lab building the verification layer for high-stakes AI. We turn complex domain knowledge into machine-checkable systems that return proofs, counterexamples, and traceable explanations. Backed by Accel.
- Company website: https://pramaanalabs.ai/
- Type: Startups (AI role)
- Level: Mid level
- Location: Palo Alto
- Work setup: On-site
- Posted: 2026-10-26
- Apply by: 2026-12-10
- Apply: https://jobs.ashbyhq.com/pramaana-labs/c8176bd3-163d-4305-baae-fe585f573c4c?utm_source=1752vc&utm_medium=careers
- Page: https://www.1752.vc/careers/jobs/pramaana-labs-research-engineer/

## About 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. Found on 1752vc Careers, the job board for startup and VC roles.

## What they're looking for

- Strong software engineering fundamentals and hands-on experience building large-scale ML systems, research infrastructure, or high-performance training pipelines
- Experience training or post-training large foundation models, including distributed training, fine-tuning, reinforcement learning, and large-scale experimentation
- Deep proficiency in Python and modern ML frameworks, such as PyTorch, JAX, DeepSpeed, FSDP, Megatron-LM, or equivalent distributed training and inference infrastructure
- Experience building agentic AI systems, including tool use, multi-step reasoning, agent orchestration, and evaluation of complex model behaviors
- Familiarity with modern post-training techniques, including supervised fine-tuning, reinforcement learning, preference optimization, synthetic data generation, and reasoning-focused training
- Strong research and experimental judgment, with experience designing benchmarks, running ablation studies, analyzing model failures, and translating research ideas into measurable improvements

Tags: Research & Development

Source: 1752vc Careers, https://www.1752.vc/careers/jobs/pramaana-labs-research-engineer/