{"id":2036030,"url":"https://alion.io/job/antithesis-senior-software-engineer-full-stack","title":"Senior Software Engineer, Full Stack","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":119,"computed_at":"2026-10-10T05:45:15Z"}},"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":160000,"max":220000,"currency":"USD","period":"year","gross":null,"usd_annual":220000},"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"JavaScript","optional":false},{"name":"Rust","optional":false},{"name":"TypeScript","optional":false}],"status":"live","first_seen_at":"2026-10-07T15:04:30Z","employer_posted_date":"2026-10-07","last_verified_at":"2026-10-10T22:35:34Z","board_verified":true,"closed_at":null,"days_open":3,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":3},"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:\nAntithesis is looking for a Full Stack Engineer to join our engineering team. This role primarily focuses on the Notebook - the reactive computing platform that all Antithesis UX is built on top of. As a Notebook Engineer, you will do a mix of deeply technical and heavily product-focused work.\nWhat You’ll Do:\nMake improvements to a reactive engine for executing Javascript (imagine Jupyter where everything auto recalcs).\n\nOwn a new feature, from the front end to the data layer. This includes adding features as needed to our custom database (or proxy, or API server) to get the feature done.\n\nCreate Property Based Tests and Antithesis workloads to test the things you create.\n\nWork with our product managers to design and scope features.\n\nDevelop build and deployment logic in Nix.\n\nWhat We’re Looking For:\nExperience working with complex customer facing-products.\n\nBe very comfortable with Typescript, and ready to pick up a bit of Rust work.\n\nHave strong technical skills and a solid programming background in algorithms and data structures.\n\nExperience building static and dynamic websites\n\nUnderstanding of how the internet and browsers work\n\n(bonus) experience with Nix\n\n(bonus) have ideas about leveraging AI effectively\n\n(bonus) a prior history with PBT","description_format":"text","description_chars":2357,"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-10-07T16:00:11Z"}],"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-03T21:08:04+00:00","sources":["US Department of Labor: LCA disclosure data (H-1B, H-1B1, E-3)"],"filings_for_role_12m":2}],"liveness":{"score":86,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.86,"p_room":1,"age_days":2,"expected_fill_days":119,"reasons":["conf:0","win:early"],"computed_at":"2026-10-10T05:45:15Z"},"pay":{"stated_usd_annual":220000,"is_top_pay":true},"html_url":"https://alion.io/job/antithesis-senior-software-engineer-full-stack","json_url":"https://alion.io/job/antithesis-senior-software-engineer-full-stack.json","meta":{"generated_at":"2026-10-11T01:00:29Z","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":1358,"day_limit":5000,"remaining_today":3642,"minute_limit":60,"resets_at":"2026-10-12T00: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-software-engineer-full-stack"},{"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-software-engineer-full-stack"},{"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-software-engineer-full-stack"},{"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-software-engineer-full-stack\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fantithesis-senior-software-engineer-full-stack"}]}