Senior/Staff Engineer

About the Company

Antithesis is reinventing software reliability by running entire software systems inside a deterministic simulation to identify root causes through perfect reproduction. We are a well-funded, deeply technical team focused on solving the verification bottleneck in the age of AI-generated code.

Responsibilities

• Build out Hegel, a new family of open-source property-based testing libraries.
• Develop high-quality property-based testing tools across multiple programming languages.
• Utilize AI-assisted development workflows to maintain high quality and speed.
• Act as a tastemaker for Hegel implementations in specific language ecosystems.

Requirements

• Experience using property-based testing (PBT)
• Comfort working with AI-assisted development workflows
• Ability to work in a variety of programming languages

Preferred Qualifications

• Experience with Hypothesis or other PBT libraries
• Familiarity with Python and Rust
• Expert-level proficiency in at least one programming language
• Experience maintaining an active open-source library
• Familiarity with Nix