Pramaana Labs, Palo Alto +1
As a Research Intern at Pramaana, you’ll contribute to one of several areas: model training, harness engineering, AI for Formal research or benchmark development. You’ll help run training experiments, investigate new approaches to symbolic reasoning, or build evaluation harnesses that help us measure and improve model performance.
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.
Pay not posted
Posted Feb 10, 2026
NeoCognitionPalo Alto
Pay not posted
Posted May 1, 2026
Samaya AIMountain View, California +1
Pay not posted
Posted Feb 20, 2025
Pangram LabsBrooklyn
$8K–$11K / mo
Posted Oct 4, 2026
Pay not posted
Posted Apr 9, 2026
OpenAILondon, UK
£170K–£445K / yr
Posted Jun 4, 2026
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.