{"id":1302737,"url":"https://alion.io/job/pramaana-labs-research-intern","title":"Research Intern","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":"intern","employment_type":"internship","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Palo Alto, United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"Fine-tuning","optional":false},{"name":"LLM Evaluation","optional":false},{"name":"Reinforcement Learning","optional":false},{"name":"SFT","optional":false},{"name":"World Models","optional":false}],"status":"live","first_seen_at":"2026-09-23T23:36:19Z","employer_posted_date":"2026-09-23","last_verified_at":"2026-10-19T03:52:45Z","board_verified":true,"closed_at":null,"days_open":25,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":25},"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\nAs 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.\nWhat You'll Do\nRun model training experiments and analyze the results.\n\nDesign harnesses for auto-formalization and prover systems.\n\nBuild and maintain benchmarks to measure performance.\n\nInvestigate where models succeed or fail, and suggest improvements.\n\nWork with researchers and engineers to turn findings into the next set of experiments.\n\nYou Will Thrive in This Role If You Have\nA solid grasp of deep learning fundamentals and how to evaluate models.\n\nThe ability to run careful experiments, communicate findings clearly, and work well with a research team.\n\nTechnical depth in at least one area relevant to the role, such as model training, formal methods, or evaluation systems.\n\nThe initiative to make progress on open-ended problems with limited direction.\n\nClose attention to detail in your code, data, and results.\n\nEspecially Strong Candidates May Also Have\nA background in formal verification (Lean, Coq, or Isabelle)\n\nHands-on experience training or fine-tuning LLMs, including work on pretraining, supervised fine-tuning, or reinforcement learning.\n\nA strong publication record in top-tier venues (NeurIPS, ICML, ICLR).","description_format":"text","description_chars":2064,"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-09-26T12:17:19Z"}],"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":37,"band":"fade","label":"Fading","p_open":1,"p_active":0.673,"p_room":0.55,"age_days":23,"expected_fill_days":23,"reasons":["conf:3","velocity","win:tail","comp:junior"],"computed_at":"2026-10-17T05:46:00Z"},"pay":null,"html_url":"https://alion.io/job/pramaana-labs-research-intern","json_url":"https://alion.io/job/pramaana-labs-research-intern.json","meta":{"generated_at":"2026-10-19T05:34:07Z","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":3366,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-20T00: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-intern"},{"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-intern"},{"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-intern"},{"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-intern\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fpramaana-labs-research-intern"}]}