You apply on Pramaana Labs' website. CoreHRx takes you there after you sign in.
CoreHRx never asks candidates for money. If anyone does, .
Location: Palo Alto
Department: Research & Development
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.
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.
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.
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.
A background in formal verification (Lean, Coq, or Isabelle)
Hands-on experience training or fine-tuning LLMs, including work on pretraining, supervised fine-tuning, or reinforcement learning.
A strong publication record in top-tier venues (NeurIPS, ICML, ICLR).
Most IT Jobs posts in Bangalore ask for 3–6 years of experience (41% of 3147 that say).
From live job posts on CoreHRx, updated 1 Nov 2026. Skill figures count posts that list their skills; salary figures only posts that show a salary.
The post does not state the pay. As an estimate, comparable posts on CoreHRx advertise ₹14L – ₹25L a year (typical for IT Jobs in Bangalore, 288 posts).
In Bangalore (on-site).
It is an internship (full time).
You apply on Pramaana Labs' website. CoreHRx takes you there after you sign in.
Interview preparation · 12 questions
Preparing for an IT or software developer interview in India? This guide covers the rounds companies run, the technical and HR interview questions asked most often for freshers and experienced developers, sample answers you can adapt, and a simple preparation plan.
Questions you may be asked
Create a free profile and we email you new IT jobs in Bangalore, at most once a week.
