Description
Antithesis is hiring Senior to Staff engineers to build autonomous testing capabilities and maintain its open-source Bombadil project. The role involves the specification language and verifier, Chromium automation, property-based testing, frontend development, and related software systems. Candidates must be proficient in Rust, have experience with property-based testing or fuzzing, and be comfortable with web technologies; Chrome Devtools Protocol, Playwright, Cypress, Selenium, formal specification languages, and parser or interpreter implementation experience are plus qualifications. The position is five days per week in the office in London, United Kingdom.
