Senior Software Engineer

The role

You will be part of the team that maintains the open-source project Bombadil. This includes working with the specification language and verifier, Chromium automation, advanced property-based testing, and frontend development.

What you will do

• Maintain the open-source project Bombadil
• Work with the specification language and verifier
• Work with Chromium automation
• Work with advanced property-based testing
• Work with frontend development

Required qualifications

• Proficient in Rust development
• Experience with property-based testing or fuzzing
• Comfortable with web technology (browsers, HTTP, HTML, Javascript, CSS)
• Authorized to work in the applicable country without current or future sponsorship requirements

Nice to have

• Chrome Devtools Protocol, Playwright, Cypress, or Selenium
• Formal specification languages (e.g. TLA+ or some LTL)
• Implementing parsers, type systems, and interpreters

Before you apply

• Unable to provide visa sponsorship or immigration support
• Candidates must be authorized to work in the applicable country without current or future sponsorship requirements

About the company

Antithesis runs entire software systems inside a deterministic simulation to improve software reliability. The company is well-funded and deeply technical.