Senior/Staff Engineer - Bombadil
Core
Building the future of autonomous testing by maintaining the open-source project Bombadil, which runs software systems in deterministic simulations to verify code reliability and identify root causes.
Role type
Senior/Staff Engineer (Software Reliability & Verification)
Builds
Open-source testing tool (Bombadil), specification language, verifier, Chromium automation, and frontend components
Domain
Software Engineering, AI Code Verification, Property-Based Testing
Deliverable
production ML models | product features
Required skills
Rust development, property-based testing, fuzzing, web technology (browsers, HTTP, HTML, Javascript, CSS)
Preferred skills
Chrome Devtools Protocol, Playwright, Cypress, Selenium, formal specification languages (TLA+, LTL), parser implementation, type systems, interpreters
Technologies
Rust, Chromium, TLA+, LTL
Responsibilities
Maintain open-source project Bombadil, work with specification language and verifier, develop Chromium automation, implement advanced property-based testing, build frontend features
Seniority
Senior to Staff, hands-on IC
