Senior/Staff Engineer - Bombadil

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 Equal Opportunity Statement We are an equal opportunity employer and value a diverse, inclusive workplace. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, gender identity or expression, age, marital or veteran status, pregnancy, disability, or any other protected characteristic. We are committed to providing reasonable accommodations throughout the application and employment process. Notice to Recruiters and Agencies Under no circumstances will Antithesis pay a fee for candidates submitted or presented without a signed recruiting agreement in place between Antithesis and the recruiter or agency prior to submission. Any submission must be for a requisition specifically and individually assigned in writing by Antithesis’ People Department. In the event that candidate(s) are submitted or presented to Antithesis by a recruiter or agency without both a signed agreement and written assignment from Antithesis, Antithesis expressly reserves the right to pursue and hire such candidate(s) without any financial obligation to the recruiter or agency.