Pramaana Labs, Palo Alto +1
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 new representations. You’ll own a focused workstream based on your strengths and the team’s needs, with room to contribute across the research stack.
You’ll take ideas from an initial experiment to a tested implementation, investigate failures, and measure whether changes improve correctness, coverage, latency, and cost.
Pramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax codes, legal rules, clinical guidelines and security protocols, into a formal representation, so every AI answer can be traced, challenged, and proved. Pramaana's architecture pairs foundation models trained to formalize and reason with a symbolic world model encoded in Lean 4. Pramaana was founded by a team out of Google, DeepMind, and Glean, combining frontier AI researchers and formal methods experts.
Prior experience in formal verification is not required. We value strong engineering, careful experimentation, and the curiosity to learn how models and formal systems work together.
Engram LabSan Francisco
Pay not posted
Posted Jun 18, 2026
Resolve AISan Francisco
Pay not posted
Posted Sep 9, 2024
Basis Research InstituteNew York Office +1
$120K–$180K / yr
Posted Nov 23, 2025
$150K–$350K / yr
Posted 29 days ago
Prime IntellectSan Francisco +1
$150K–$350K / yr
Posted 29 days ago
Prime IntellectSan Francisco +1
$150K–$350K / yr
Posted 29 days ago
Source: the Pramaana Labs Ashby job board. We last checked this job 7 h ago. We first saw it 4 days ago. A job on a job board does not always mean that the team interviews people now. We found this job board in a public list. We did not yet compare it with the careers page of the company.
No one has reported an interview at Pramaana Labs yet. Did you interview there? Add the questions.