Pramaana Labs
Pramaana Labs is seeking a Research Engineer to build and improve systems that transform complex human knowledge into formal representations for AI reasoning and verification. The role involves collaborating with researchers and engineers to enhance the accuracy, efficiency, and scalability of domain formalizers, autoformalizers, and provers. This hands-on position combines software engineering with experimentation to develop neuro-symbolic AI systems and rigorous evaluation frameworks.
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.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Pramaana Labs.
Pramaana Labs didn’t post a salary, so this is our estimate from similar listings.