About Antithesis

Engineers 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.

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 (https://github.com/antithesishq/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, HTTP, 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

The Culture

Our team is composed of people with a variety of backgrounds: standard engineering degrees to philosophy degrees; big-tech backgrounds 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.

Note: This is an 5 days a week in-office job in London, UK