Research Intern

About the role

Apply via Pramaana Labs’ official Ashby posting. Pramaana Labs, a frontier AI lab headquartered in Palo Alto, is hiring a Research Intern. The primary location is Palo Alto, with Bengaluru, India listed as an additional onsite location. The intern may contribute to model training, harness engineering, AI for formal research, or benchmark development. The job is listed as FullTime employment type on Ashby (typical for a full-time internship) and was published on 23 Sep 2026; it was still listed as open on 15 Nov 2026. Salary, duration, and eligible batch are not stated.

Responsibilities

• Run model training experiments and analyze the results
• Design harnesses for auto-formalization and prover systems
• Build and maintain benchmarks to measure performance
• Investigate where models succeed or fail, and suggest improvements
• Work with researchers and engineers to turn findings into the next set of experiments

Requirements

• A solid grasp of deep learning fundamentals and how to evaluate models
• The ability to run careful experiments, communicate findings clearly, and work well with a research team
• Technical depth in at least one area relevant to the role, such as model training, formal methods, or evaluation systems
• The initiative to make progress on open-ended problems with limited direction
• Close attention to detail in your code, data, and results
• Especially strong candidates may also have a background in formal verification (Lean, Coq, or Isabelle); hands-on experience training or fine-tuning LLMs, including pretraining, supervised fine-tuning, or reinforcement learning; and a strong publication record in top-tier venues (NeurIPS, ICML, ICLR)

Benefits

• Not stated on the public posting.

Required Skills