{"id":1950366,"url":"https://alion.io/job/gap-map-ml-research-scientist","title":"ML Research Scientist","company":{"id":2384101,"name":"Gap Map","domain":"gap-map.org","url":"https://alion.io/company/gap-map","size_band":null,"is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Work at a Startup","truth_index":null},"role":"AI/ML","role_family":"AI/ML","seniority":"middle","employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["San Francisco, United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":{"min":300000,"max":500000,"currency":"USD","period":"year","gross":null,"usd_annual":500000},"salary_estimate":null,"experience_years_min":3,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"Post-training","optional":false},{"name":"Python","optional":false}],"status":"live","first_seen_at":"2026-10-06T09:47:56Z","employer_posted_date":"2026-10-06","last_verified_at":"2026-10-06T20:44:13Z","board_verified":true,"closed_at":null,"days_open":0,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":0},"description":"We’re building products to make the future of software correct, understandable, and secure. Right now, AI has raised the floor on software engineering. We’re building for the world where it raises the ceiling.\nWhat we’re building\nOur approach is to write software correctness feedback that scales with complexity and volume of code, so software is provably safe and reliable.\nWhat this looks like in practice:\nPost-training that make models as good at program analysis and formal reasoning as they are at writing Python.\nInterfaces for navigating complex implementations of simple specifications to help users find bugs, generate design documentation, and implement non-functional requirements using compiler-level reasoning methods.\nYou may be a good fit if you\nPick projects that are a few orders of magnitude bigger, faster, or harder than SOTA\nHave the gumption to try out something before everyone starts talking about it\nLove to be helpful to the people around you, whether it is pair-debugging or teaching someone something new or just picking up the slack on the mundane tasks that are blocking progress\nDig deep to get satisfying explanations for how and why things work\nAre practiced in solving last-mile problems\nCompensation: $300,000-500,000 with generous equity\nPlease apply via our website (theorem.dev/careers)","description_format":"text","description_chars":1326,"description_truncated":false,"requirements":{"experience_years_min":3,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":["Equity"],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Artificial Intelligence","Biotechnology","Science & Engineering"],"lifecycle":[{"event":"open","at":"2026-10-06T09:47:56Z"}],"visa":[],"liveness":{"score":86,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.86,"p_room":1,"age_days":0,"expected_fill_days":18,"reasons":["conf:1","win:early"],"computed_at":"2026-10-06T21:46:22Z"},"pay":{"stated_usd_annual":500000,"is_top_pay":true},"html_url":"https://alion.io/job/gap-map-ml-research-scientist","json_url":"https://alion.io/job/gap-map-ml-research-scientist.json","meta":{"generated_at":"2026-10-06T21:46:22Z","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","counted_by":"address","units_charged":1,"used_today":1547,"day_limit":5000,"remaining_today":3453,"minute_limit":60,"resets_at":"2026-10-07T00: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":2384101},"rest":"https://alion.io/mcp/rest/get_company?id=2384101"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fgap-map-ml-research-scientist"},{"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%2Fgap-map-ml-research-scientist"},{"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%2Fgap-map-ml-research-scientist"},{"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/gap-map-ml-research-scientist\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fgap-map-ml-research-scientist"}]}