Senior Software Engineer - Rust & Property Testing (London)

Antithesis in London seeks engineers at senior to staff levels to build the future of autonomous testing. You will join the team maintaining Bombadil, an open-source project, including working with the specification language, verifier, and Chromium automation. The role emphasizes high-quality engineering across testing, frontend tasks, and tooling.

Applicants should demonstrate strong Rust development skills and experience with property-based testing or fuzzing. In-person collaboration is valued.