Engineers at Antithesis work across a wide range of domains, often developing their own tools along the way. They dig deep to understand how something really works -- but stay broad to ship features across the whole stack. The ideal Antithesis engineer is a generalist who loves to learn new things and will fearlessly hack on whatever is needed. The core requirements you're smart, get things done, and a joy to work with.
We're looking for Senior, Staff, and Principal Engineers to build the future of autonomous testing. No matter your particular field of experience, if you've been ambitiously building complex software and think you could be a fit; drop us a note.
Some of the tech and languages we use:
Nix. Lots of Nix. Nix for builds, Nix for infrastructure. Nix where you did not expect!
Rust for systems programming... and C/C++ where needed.
Typescript (and JS) on the front end.
All the other languages also: see our list of SDKs.
We're looking for top-flight engineers to help us build:
(Semi-) formally proven infrastructure
..and other projects
Our team is comprised of people with a variety of backgrounds: standard engineering degrees to philosophy degrees; big-tech background to scrappy startups. But we have at least one common skill: everyone on the team, including managers, is held to the same high standard of engineering competency. In addition, we value in-person work for its value in building trust and sharing knowledge and mentoring each other.
Note: This is an 5 days a week in-office job in Vienna, VA
We are an equal opportunity employer and value a diverse, inclusive workplace. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, gender identity or expression, age, marital or veteran status, pregnancy, disability, or any other protected characteristic. We are committed to providing reasonable accommodations throughout the application and employment process.
Under no circumstances will Antithesis pay a fee for candidates submitted or presented without a signed recruiting agreement in place between Antithesis and the recruiter or agency prior to submission Any submission must be for a requisition specifically and individually assigned in writing by Antithesis’ People Department.
In the event that candidate(s) are submitted or presented to Antithesis by a recruiter or agency without both a signed agreement and written assignment from Antithesis, Antithesis expressly reserves the right to pursue and hire such candidate(s) without any financial obligation to the recruiter or agency.

Ship confidently and free your engineering team to focus on creating business value. Antithesis enables you to find and eliminate bugs that cause system downtime and difficult-to-fix correctness issues.
Our platform combines AI with advanced testing methodologies to thoroughly explore distributed systems and find the bugs that other tools miss. The platform perfectly reproduces bugs and the conditions that led to them, dramatically reducing the time required to debug systems and enabling engineers to validate fixes with 100% certainty.
Instead of having engineers (or AI) write more test cases, the platform enables property-based testing where you define desired outcomes. Our autonomous AI-powered testing engine explores millions of code paths in parallel and smartly injects the kind of faults your code routinely experiences in hostile production environments. No more testing only the "happy path" and missing the issues that will haunt you in production.