Research Intern

Pramaana Labs is hiring a Research Intern to contribute to model training, harness engineering, AI for Formal research, or benchmark development. The role involves running experiments, investigating symbolic reasoning, building evaluation tools, and collaborating with researchers and engineers to improve model performance.

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