Research Intern
BengaluruInternshipInternshipPosted over a month ago
Software engineering internship at Pramaana Labs in Bengaluru.
About the role
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.
What you'll do
- 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
What you need
- Research
- Deep learning
- LLMs
- Lean