{"id":3312507,"url":"https://alion.io/job/pramaana-labs-research-engineer","title":"Research Engineer","company":{"id":3789407,"name":"Pramaana Labs","domain":"pramaanalabs.ai","url":"https://alion.io/company/pramaanalabs","size_band":null,"is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Ashby","truth_index":null},"role":"AI/ML","role_family":"AI/ML","seniority":null,"employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Palo Alto, United States","Bengaluru, India"],"countries":["US","IN"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":163000,"max_usd":362000,"period":"year","method":"role_country_seniority_unknown","sample_n":4425},"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"AI Agents","optional":false},{"name":"DeepSpeed","optional":false},{"name":"Fine-tuning","optional":false},{"name":"FSDP","optional":false},{"name":"Function Calling","optional":false},{"name":"JAX","optional":false},{"name":"Megatron-LM","optional":false},{"name":"Post-training","optional":false},{"name":"Python","optional":false},{"name":"PyTorch","optional":false},{"name":"Reinforcement Learning","optional":false},{"name":"SFT","optional":false},{"name":"Synthetic Data","optional":false},{"name":"World Models","optional":false}],"status":"live","first_seen_at":"2026-10-26T23:35:32Z","employer_posted_date":"2026-10-26","last_verified_at":"2026-10-29T04:14:06Z","board_verified":true,"closed_at":null,"days_open":2,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":2},"description":"Company\nPramaana Labs is a frontier AI lab building the verification layer for AI. Founded in 2025 and headquartered in Palo Alto, we turn complex human knowledge, including tax codes, legal rules, clinical guidelines and security protocols, into a formal representation, so every AI answer can be traced, challenged, and proved. Pramaana's architecture pairs foundation models trained to formalize and reason with a symbolic world model encoded in Lean 4. Pramaana was founded by a team out of Google, DeepMind, and Glean, combining frontier AI researchers and formal methods experts.\nThe Role\nWe’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.\nThis is a hands-on role combining software engineering with careful experimentation. Your work could include building model and tool orchestration, improving evaluation, developing data pipelines and training environments, or implementing new representations. You’ll own a focused workstream based on your strengths and the team’s needs, with room to contribute across the research stack.\nYou’ll take ideas from an initial experiment to a tested implementation, investigate failures, and measure whether changes improve correctness, coverage, latency, and cost.\nWhat You'll Do\nBuild next-generation neuro-symbolic AI systems at the intersection of foundation models, formal methods, automated reasoning, and verification.\n\nDesign rigorous evaluation frameworks and research benchmarks to study reasoning capabilities, generalization, robustness, and computational efficiency.\n\nDevelop advanced post-training and data synthesis pipelines, exploring techniques in synthetic data generation, reinforcement learning, and model self-improvement.\n\nResearch and implement approaches to knowledge representation, compositional reasoning, program synthesis, and constraint-based inference for complex real-world domains.\n\nDrive end-to-end research and engineering, from rapid prototyping and controlled experimentation to ablation studies, performance optimization, and scalable production systems.\n\nYou Will Thrive in This Role If You Have\nStrong software engineering fundamentals and hands-on experience building large-scale ML systems, research infrastructure, or high-performance training pipelines.\n\nExperience training or post-training large foundation models, including distributed training, fine-tuning, reinforcement learning, and large-scale experimentation.\n\nDeep proficiency in Python and modern ML frameworks, such as PyTorch, JAX, DeepSpeed, FSDP, Megatron-LM, or equivalent distributed training and inference infrastructure.\n\nExperience building agentic AI systems, including tool use, multi-step reasoning, agent orchestration, and evaluation of complex model behaviors.\n\nFamiliarity with modern post-training techniques, including supervised fine-tuning, reinforcement learning, preference optimization, synthetic data generation, and reasoning-focused training.\n\nStrong research and experimental judgment, with experience designing benchmarks, running ablation studies, analyzing model failures, and translating research ideas into measurable improvements.\n\nAbility to operate independently at the intersection of research and engineering, rapidly prototyping ambitious ideas and scaling successful experiments into robust systems.\n\nEspecially Strong Candidates May Also Have\nExperience building autoformalization, theorem-proving, or other systems that combine models with symbolic tools.\n\nExperience with Lean, Coq, Isabelle, SMT solvers, compilers, or program analysis.\n\nExperience optimizing model inference, parallel workloads, or evaluation pipelines for speed and cost.\n\nSubstantial research code, open-source contributions, or projects that demonstrate strong engineering and experimental work.\n\nPrior experience in formal verification is not required. We value strong engineering, careful experimentation, and the curiosity to learn how models and formal systems work together.","description_format":"text","description_chars":4241,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Machine Learning","AI Research Labs"],"lifecycle":[{"event":"open","at":"2026-10-27T03:47:39Z"}],"visa":[{"country":"US","licensed_sponsor":true,"evidence":"H-1B filings in 12 months: 2","filings_12m":2,"filings_prev_12m":0,"green_card_filings_12m":0,"median_offered_wage_usd":182500,"route":null,"cap_exempt":false,"checked_at":"2026-10-15T11:24:14+00:00","sources":["US Department of Labor: LCA disclosure data (H-1B, H-1B1, E-3)"],"filings_for_role_12m":2}],"liveness":{"score":90,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.903,"p_room":1,"age_days":2,"expected_fill_days":24,"reasons":["conf:1","velocity","win:early"],"computed_at":"2026-10-29T05:49:05Z"},"pay":null,"html_url":"https://alion.io/job/pramaana-labs-research-engineer","json_url":"https://alion.io/job/pramaana-labs-research-engineer.json","meta":{"generated_at":"2026-10-29T07:39:25Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":11646,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-30T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":3789407},"rest":"https://alion.io/mcp/rest/get_company?id=3789407"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fpramaana-labs-research-engineer"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Fpramaana-labs-research-engineer"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Fpramaana-labs-research-engineer"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/pramaana-labs-research-engineer\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fpramaana-labs-research-engineer"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":3312507}},{"tool":"search_jobs","arguments":{"company":"pramaanalabs.ai","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":3312507},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}