{"id":28128,"url":"https://alion.io/job/antithesis-software-engineers-all-levels","title":"Software Engineers | All Levels","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":{"min":120000,"max":200000,"currency":"USD","period":"year","gross":null,"usd_annual":200000},"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"C++","optional":false},{"name":"Rust","optional":false},{"name":"TypeScript","optional":false}],"status":"live","first_seen_at":"2026-01-03T18:33:07Z","employer_posted_date":"2026-01-03","last_verified_at":"2026-10-17T07:21:24Z","board_verified":true,"closed_at":null,"days_open":286,"trust":{"level":"ok","repost_count":0,"flags":[],"days_open":286},"description":"About Antithesis\nWe provide a platform that enables engineering teams to identify and resolve bugs that traditional testing approaches miss. Antithesis runs your entire system in a deterministic simulation, breaks it in every way imaginable, and hands you a root cause and a perfect reproduction - no flaky tests, no false positives, no \"works on my machine\". This allows engineering teams to debug faster and ship with greater confidence.\nThe rise of AI-generated code has made what we do more important than ever. Agents can write code faster than any human - but faster code isn't better code if it's buggy, stuck in review, or issues are slipping through the cracks undetected. The verification bottleneck is real and it's growing. This is exactly the problem Antithesis exists to solve. We've been quietly reinventing how the world thinks about software reliability, and we're just getting started.\nWe're well-funded, deeply technical, and building a platform that tackles one of the most complex yet important problems in modern software engineering. If that sounds like fun to you, keep reading.\nAbout the Team\nEngineers at Antithesis work across a wide range of domains, often developing their own tools along the way. They dig deep to understand how something really works -- but stay broad to ship features across the whole stack. The ideal Antithesis engineer is a generalist who loves to learn new things and will fearlessly hack on whatever is needed. The core requirements: you're smart, get things done, and a joy to work with.\nWe're looking for Senior, Staff, and Principal Engineers to build the future of autonomous testing. No matter your particular field of experience, if you've been ambitiously building complex software and think you could be a fit; drop us a note.\nThe Tech\nSome of the tech and languages we use:\nNix. Lots of Nix. Nix for builds, Nix for infrastructure. Nix where you did not expect!\n\nRust for systems programming... and C/C++ where needed.\n\nTypescript (and JS) on the front end.\n\nAll the other languages also: see our list of SDKs.\n\nThe Projects\nWe're looking for top-flight engineers to help us build:\nA functional, reactive notebook\n\nA streaming, analytic database\n\n(Semi-) formally proven infrastructure\n\nA custom, high-performance hypervisor\n\n...and other projects\n\nThe Culture\nOur team is comprised of people with a variety of backgrounds: standard engineering degrees to philosophy degrees; big-tech background to scrappy startups. But we have at least one common skill: everyone on the team, including managers, is held to the same high standard of engineering competency. In addition, we value in-person work for its value in building trust and sharing knowledge and mentoring each other.\n 5 days a week in-office job in Vienna, VA","description_format":"text","description_chars":2781,"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":["Software Testing & QA"],"lifecycle":[{"event":"open","at":"2026-01-03T18:33:07Z"},{"event":"open","at":"2026-09-25T20:08:28Z"}],"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":16,"band":"cold","label":"Long shot","p_open":1,"p_active":0.586,"p_room":0.28,"age_days":286,"expected_fill_days":98,"reasons":["conf:2","win:tail","crowd:"],"computed_at":"2026-10-17T05:46:00Z"},"pay":{"stated_usd_annual":200000,"is_top_pay":true},"html_url":"https://alion.io/job/antithesis-software-engineers-all-levels","json_url":"https://alion.io/job/antithesis-software-engineers-all-levels.json","meta":{"generated_at":"2026-10-17T10:03: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":13188,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-18T00: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-software-engineers-all-levels"},{"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-software-engineers-all-levels"},{"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-software-engineers-all-levels"},{"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-software-engineers-all-levels\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fantithesis-software-engineers-all-levels"}]}