Senior/Staff Engineer - Bombadil
About Antithesis
We'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.
The 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.
We'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.
About the Role
We're looking for engineers in the Senior to Staff levels 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.
In this role you will be part of the team that maintains our open-source project Bombadil (). This includes working with the specification language and verifier, Chromium automation, advanced property-based testing, frontend development, and much more.
Must have for this role:
Proficient in Rust development
Experience with property-based testing or fuzzing
Comfortable with web technology (browsers, HTML, Javascript, CSS)
Experience that would be a plus:
Chrome Devtools Protocol, Playwright, Cypress, or Selenium
Formal specification languages (e.g. TLA+ or some LTL)
Implementing parsers, type systems, and interpreters
About Our Team
Our team spans CS degrees, philosophy, mathematics, and everything in between, or nothing formal at all. What everyone shares is a high bar for engineering quality. We work in-person because it's how we build trust and tackle hard problems together.
Location: This position is 5 days in the office in London, UK.
Recommended Jobs
Year 1 Teacher — Richmond — January 2026 start
A popular Richmond primary is seeking a reflective, creative Year 1 Teacher to join its KS1 team on a Full-Time basis from January 2026. The successful Year 1 Teacher will be invited to pre-term plan…
KS1 Teacher - Battersea
A popular primary school in Battersea is recruiting a skilled KS1 Teacher to start January 2026. The KS1 Teacher will teach across Year 1 and Year 2 where needed, planning coherent, structured lesson…
Year 1 Teacher | Wandsworth
Are you a committed and creative Year 1 Teacher seeking a Full-Time role from January 2026? A friendly Wandsworth primary is looking for a talented Year 1 Teacher to join its KS1 team. The successful…
PA, Luxury Retail Brand, Soho
Calling all ambitious creative PAs who have a background in fashion/design. We are looking for an experienced PA to join this exciting luxury sportswear brand, providing PA support to their young an…
W+K London
This is the general application form for Wieden+Kennedy's London office. If there's a future opening that might be a fit, we look forward to being in touch!
Applied AI Engineer
About Nevis Nevis is building the world’s first AI wealth management platform. In just 9 months, Nevis has grown to have over $50 billion of assets under management on its platform and is on track…
Site Manager - Mixed Secondary School - Redbridge
Site Manager - Mixed Secondary School - Redbridge Start Date: As soon as possible Contract: Full-time, Permanent Salary: Paid to scale Site Manager A thriving Mixed Secondary School…
Intervention Teacher | Birmingham | January 2026
Are you a targeted, results-driven Intervention Teacher looking for a role from January 2026? Do you want to join a Birmingham school that prioritises high-impact interventions, precise assessment …
Management Graduate Program Intake (Scandinavian speaker) SetSales
Are you looking for challenges within an exceptional entrepreneurial team with young, motivated and extremely driven people? If so, now is the time to apply for our 4 months paid Internship Program i…