A
Posted 13 hours ago
Senior/Staff Engineer
AntithesisSenior/Staff Engineer - Bombadil
Requirements
Proficient in Rust, Experience with property-based testing or fuzzing, Web technology proficiency (HTTP, HTML, JS, CSS)
Skills
RustFuzzing
About the role
About the Company
Antithesis is reinventing software reliability by running entire software systems inside a deterministic simulation to identify root causes through perfect reproduction. They are tackling the verification bottleneck caused by the rise of AI-generated code.
Responsibilities
- Maintain the open-source project Bombadil
- Work with specification languages and verifiers
- Handle Chromium automation and advanced property-based testing
- Contribute to frontend development and other core components
Requirements
- Proficient in Rust development
- Experience with property-based testing or fuzzing
- Comfortable with web technologies including browsers, HTTP, HTML, JavaScript, and CSS
Preferred Qualifications
- Experience with Chrome Devtools Protocol, Playwright, Cypress, or Selenium
- Knowledge of formal specification languages such as TLA+ or LTL
- Experience implementing parsers, type systems, or interpreters
ScoutJobs Agent
Get matches like this delivered daily
Sign up free — we'll pull jobs that fit your CV from across the web and rank them for you.
Get started — it's freeSenior/Staff Engineer
Antithesis · London
