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.

Especially Strong Candidates May Also Have

Research Intern

Responsibilities

Qualification

Required

Preferred

Company

Pramaana Labs

More roles at Pramaana Labs