AI Research Intern: Formal Reasoning & Evaluation

Pramaana Labs; Palo Alto (CA); On-site; USD 40,000 - 65,000; Part time

Job summary

Pramaana Labs is seeking a Research Intern to contribute to model training, harness engineering, AI for Formal research, or benchmark development. You’ll run training experiments, investigate symbolic reasoning approaches, and build evaluation harnesses to measure and improve model performance.

You will collaborate with researchers and engineers to turn findings into the next set of experiments, applying deep learning fundamentals and rigorous experimental design to advance formal verification

Qualifications

• Solid grasp of deep learning fundamentals and how to evaluate models.
• Ability to run careful experiments and communicate findings clearly.
• Technical depth in at least one area relevant to the role (model training, formal methods, or evaluation systems).
• Initiative to advance open-ended problems with limited direction.
• Close attention to detail in code, data, and results.

Responsibilities

• Help run model training experiments and analyze 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.

Skills

Deep learning fundamentals

Experimental design and analysis

Communication skills

Research collaboration

Attention to detail in code and data

Job description

Pramaana Labs is seeking a Research Intern to contribute to model training, harness engineering, AI for Formal research, or benchmark development. You’ll run training experiments, investigate symbolic reasoning approaches, and build evaluation harnesses to measure and improve model performance.

You will collaborate with researchers and engineers to turn findings into the next set of experiments, applying deep learning fundamentals and rigorous experimental design to advance formal verification