Research Engineer is open at Pramaana Labs in Palo Alto. The posting gives no salary; similar roles in the United States advertise a median of $192K. Posted on Oct 26, 2026, and still on Pramaana Labs’s careers page when we last checked, on Nov 14, 2026.
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. This is a hands-on role combining software engineering with careful…
The opening lines of the posting. The rest is on Pramaana Labs’s careers page.
Hiring at Pramaana Labs
Pramaana Labs has 13 open roles right now. Most are in Engineering, Data & Research and Operations. See all its roles