Research Engineer

About the role

We’re looking for a Research Engineer to build and improve the systems that turn complex knowledge into formal representations and use them to reason and prove. You’ll work closely with researchers and formal methods engineers on Pramaana’s domain formalizer, autoformalizer, and prover, making these systems more accurate, repeatable, and efficient.

What you'll do

• Build next-generation neuro-symbolic AI systems at the intersection of foundation models, formal methods, automated reasoning, and verification
• Design rigorous evaluation frameworks and research benchmarks to study reasoning capabilities, generalization, robustness, and computational efficiency
• Develop advanced post-training and data synthesis pipelines, exploring techniques in synthetic data generation, reinforcement learning, and model self-improvement
• Research and implement approaches to knowledge representation, compositional reasoning, program synthesis, and constraint-based inference for complex real-world domains
• Drive end-to-end research and engineering, from rapid prototyping and controlled experimentation to ablation studies, performance optimization

What you need

• Research
• Python
• Machine learning
• Prototyping
• PyTorch
• Lean
• Any graduate

Good to have

• ETL