Senior/Staff Engineer - Bombadil
Antithesis6 months ago
London, United KingdomSenior / Staff+
Responsibilities
- Maintain and extend the open-source Bombadil project.
- Work with specification languages and verifiers.
- Develop Chromium automation and advanced property-based testing capabilities.
- Contribute to frontend development and other complex software engineering initiatives.
Requirements
- Proficiency in Rust development.
- Experience with property-based testing or fuzzing.
- Comfort with browsers, HTTP, HTML, JavaScript, and CSS.
- Experience with Chrome DevTools Protocol, Playwright, Cypress, or Selenium is a plus.
- Experience with formal specification languages such as TLA+ or LTL is a plus.
- Experience implementing parsers, type systems, and interpreters is a plus.
Benefits
- The role is 5 days per week in the office in London, UK.
Tech Stack
About Antithesis
Antithesis builds a deterministic simulation and autonomous testing platform for software teams building complex systems. It runs full-stack services in a controlled environment, injects faults and toxic inputs, and produces reproducible bug reports with root-cause analysis, integrating into CI and developer workflows. The company is privately held and headquartered in Vienna, Virginia, and sells its platform and expert engineering services to enterprises that need faster, more reliable releases.