Research Scientist, AI at Pramaana Labs · LumiJobs

Responsibilities

We’re training models to formalize complex knowledge and reason with symbolic world models. As a Research Scientist focused on AI, you’ll develop approaches that improve the accuracy, coverage, efficiency, and generalization of our domain formalizer, autoformalizer, and prover.
Your scope spans model training, data quality, representations, and evaluation. You’ll work with an RL Scientist on reinforcement-learning approaches, Research Engineers on reliable experimentation, and Formal Methods experts on whether model outputs faithfully represent the source knowledge.
Lead ambitious research at the intersection of foundation models, formal reasoning, and verification, advancing Pramaana's mission to make AI reasoning reliable across complex, real-world domains.
Develop novel model training and post-training approaches for translating complex domain knowledge into structured representations and enabling precise, verifiable reasoning.
Drive hands-on research in reinforcement learning, synthetic data generation, reasoning, and agentic AI, exploring new techniques to advance model capabilities, generalization, and efficiency.
Own and lead end-to-end research initiatives, identifying high-impact directions, setting technical strategy, and guiding teams of researchers and engineers while remaining deeply involved in the technical work.
Develop rigorous benchmarks and evaluation methodologies to measure reasoning capabilities, robustness, and generalization, using experimental insights to drive fundamental model improvements.
Partner closely with engineering to translate research breakthroughs into production capabilities, delivering measurable improvements in the performance and reliability of Pramaana's technology.
A demonstrated track record of high-impact research, including research projects that have been successfully deployed and materially advanced a product, core technology, or organization's capabilities and direction.
Deep hands-on experience in foundation model training and post-training, including one or more of large-scale pretraining, reinforcement learning, reasoning-focused training, or synthetic data generation.
Strong technical depth in modern AI research, including frontier language models, agentic systems, multi-step reasoning, or structured prediction.
Proficiency in Python and modern ML frameworks such as PyTorch or JAX, with experience implementing and scaling training experiments.

Research Scientist, AI

Responsibilities

Qualification

Required

Company

Pramaana Labs

More roles at Pramaana Labs