ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
Pramaana Labs
Pramaana Labs is seeking a Research Scientist to advance the accuracy, coverage, and efficiency of its AI domain formalizer, autoformalizer, and prover. The role involves leading research at the intersection of foundation models, formal reasoning, and verification, while developing novel training and post-training approaches. The scientist will collaborate with RL scientists and formal methods experts to drive model capabilities and ensure reliable, verifiable reasoning.
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.
Postdoctoral Fellowship
Carnegie Mellon University
Tenure-Track Assistant Professor in Mathematical Foundations of AI and Formal Reasoning
oraclecloudinfrastructure
Postdoctoral Research Scientist
Columbia University
Post Doc - ICARM
Carnegie Mellon University
Mathematical Formalization Specialist - Remote
Labelbox
Staff Applied Research Scientist
Snowflake