{"id":82535,"url":"https://alion.io/job/antithesis-senior-backend-engineer-2","title":"Senior Backend Engineer","company":{"id":7620,"name":"Antithesis","domain":"antithesis.com","url":"https://alion.io/company/antithesis","size_band":"201-500","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Ashby","truth_index":{"grade":"A","score":95,"open_postings":8,"ghost_share":0,"stale_share":0,"repost_share":0,"time_to_fill_p50_days":98,"computed_at":"2026-10-17T05:46:00Z"}},"role":"Backend","role_family":"Backend","seniority":"senior","employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Vienna, United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":167000,"max_usd":305000,"period":"year","method":"role_seniority_country_remote_cell","sample_n":3287},"experience_years_min":5,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"C++","optional":true},{"name":"Rust","optional":true}],"status":"live","first_seen_at":"2026-08-13T22:15:59Z","employer_posted_date":"2026-08-13","last_verified_at":"2026-10-18T05:32:54Z","board_verified":true,"closed_at":null,"days_open":65,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":65},"description":"About Antithesis\nWe've been quietly reinventing how the world thinks about software reliability, and we're just getting started! At Antithesis, we start at the foundations - we run entire software systems inside a deterministic simulation and break them in every way imaginable. Every issue then comes with a perfect reproduction, so you can identify root causes fast instead of spending days trying to recreate what went wrong.\nThe rise of AI-generated code has made this work more urgent than ever. Agents can write code faster than any human, but speed doesn't matter much when the output is buggy, stuck in review, or slipping through undetected. The verification bottleneck is real, it's growing, and solving it is one of the most consequential problems in software right now. That's what you'd be working on.\nWe're well-funded and deeply technical, the kind of place where the hardest problems get the most attention and the best ideas win regardless of who has them. If you want to do work that actually moves the needle on how reliable software can be, keep reading.\nAbout the Role\nThe Platform team is the engine room of Antithesis - we own the infrastructure, services, and tools that are at the core of the product. As a Senior Backend Engineer here, you won't be maintaining someone else's abstractions. You'll be designing them from scratch, owning them end-to-end, across the full stack: from raw binary formats and block compaction all the way up to the external APIs our customers depend on. Correctness and performance aren't nice-to-haves here - they're the job.\nIf you get unreasonably excited about systems design, performance, storage efficiency, clean API contracts, and finding the bottleneck nobody else noticed, we'd love to talk.\nWhat You'll Do\nDesign, build, and operate core platform systems - including backend infrastructure, data processing pipelines, storage layers, and the scalable APIs, integrations, and interfaces that power internal and external consumers.\n\nContribute to Pangolin, our purpose-built database designed from the ground up to meet the unique demands of our platform.\n\nBuild and evolve foundational platform primitives such as data access layers, authorization frameworks, and service orchestration.\n\nOwn reliability end-to-end - from system design and capacity planning to incident response, with a sustainable on-call rotation shared across the team.\n\nIdentify and resolve performance bottlenecks across the stack; mentor engineers; contribute to long-term technical strategy.\n\nWhat We're Looking For\n5+ years of software engineering experience. Rust is a strong preference, but exceptional systems engineers from other backgrounds are welcome.\n\nExperience building APIs, services, storage engines, query engines, or data-intensive backend systems.\n\nDeep understanding of distributed systems: consistency, fault tolerance, replication, observability.\n\nHands-on experience designing and shipping APIs with attention to correctness and contract stability.\n\nStrong fundamentals - you care about correctness, test coverage, and well-designed abstractions.\n\nBonus: query planning/optimization experience, multi-tenant platform or authz background, C/C++ familiarity, or open-source contributions.\n\nAbout Our Team\nOur team has backgrounds spanning CS degrees, philosophy, mathematics, and everything in between - or nothing formal at all. What everyone shares is a high bar for engineering quality, regardless of title. We work in-person because it's how we build trust and tackle hard problems together.\nLocation: This position is in office in Vienna, VA.","description_format":"text","description_chars":3603,"description_truncated":false,"requirements":{"experience_years_min":5,"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":["Software Testing & QA"],"lifecycle":[{"event":"open","at":"2026-08-13T22:15:59Z"}],"visa":[{"country":"US","licensed_sponsor":true,"evidence":"H-1B filings in 12 months: 2","filings_12m":2,"filings_prev_12m":2,"green_card_filings_12m":0,"median_offered_wage_usd":72500,"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":59,"band":"ok","label":"Likely open","p_open":1,"p_active":0.818,"p_room":0.72,"age_days":64,"expected_fill_days":98,"reasons":["conf:2","win:mid","crowd:"],"computed_at":"2026-10-17T05:46:00Z"},"pay":null,"html_url":"https://alion.io/job/antithesis-senior-backend-engineer-2","json_url":"https://alion.io/job/antithesis-senior-backend-engineer-2.json","meta":{"generated_at":"2026-10-18T05:42:46Z","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":8636,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-19T00: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":7620},"rest":"https://alion.io/mcp/rest/get_company?id=7620"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fantithesis-senior-backend-engineer-2"},{"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%2Fantithesis-senior-backend-engineer-2"},{"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%2Fantithesis-senior-backend-engineer-2"},{"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/antithesis-senior-backend-engineer-2\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fantithesis-senior-backend-engineer-2"}]}