Software Engineers | All Levels
- Location
- Vienna, VA · On-site
- Job type
- Full-time
- Level
- Mid-level
- Listed
- 23 days ago
Skills & highlights for this role
- Rust
- C/C++
- TypeScript
- Nix
- distributed systems
Also useful
- systems programming
- deterministic simulation
The Tech
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
- A functional, reactive notebook
- A streaming, analytic database
- (Semi-) formally proven infrastructure
- A custom, high-performance hypervisor
- ...and other projects
The Culture
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.
5 days a week in-office job in Vienna, VA
About Antithesis
We provide a platform that enables engineering teams to identify and resolve bugs that traditional testing approaches miss. Antithesis runs your entire system in a deterministic simulation, breaks it in every way imaginable, and hands you a root cause and a perfect reproduction - no flaky tests, no false positives, no "works on my machine". This allows engineering teams to debug faster and ship with greater confidence.
The rise of AI-generated code has made what we do more important than ever. Agents can write code faster than any human - but faster code isn't better code if it's buggy, stuck in review, or issues are slipping through the cracks undetected. The verification bottleneck is real and it's growing. This is exactly the problem Antithesis exists to solve. We've been quietly reinventing how the world thinks about software reliability, and we're just getting started.
We're well-funded, deeply technical, and building a platform that tackles one of the most complex yet important problems in modern software engineering. If that sounds like fun to you, keep reading.
About the Team
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.
From Antithesis's careers page, first listed on Rolev.ai on October 17, 2026. Rolev.ai is not the employer.
How Rolev.ai helps with this application
Rolev.ai is a job search and application tool for US job seekers. For this Software Engineers | All Levels role at Antithesis, it shows how your resume fits, tailors your resume to the posting, and prepares the application for you to review.
See how you fit
Openings from employer career sites are ranked against your whole resume—and searchable inside Claude, ChatGPT, and Cursor via Rolev.ai MCP.
Tailor without inventing
Every change to your resume is checked against your original. New experience goes in only with your yes—zero fabricated claims.
Draft the full kit
Tailored and Full Match resumes, role-specific cover letters, and answers to employer screening questions are prepared in seconds.
1-Click Extension Autofill
The Chrome extension fills the employer's Greenhouse, Workday, Lever, or Ashby form in 1 click. You review it and press Submit.
Similar roles
All Software Developer jobs- Software DeveloperAccenture Federal Services · Washington, DC · $97.5k – $115k/yr
- Software Developer 803Freedom Technology Solutions Group · Annapolis Junction, MD · $150k – $200k/yr
- Software DeveloperPurvis Systems · Newport, RI
- NASA Human Spaceflight Artificial Intelligence (AI) Software Engineer and Data ScientistCACI · Houston, TX
- Senior Manager Software EngineeringNasdaq · Atlanta, GA
- Software Engineering Supervisor - Test SystemsMoog · Torrance, CA
Common questions
Where is the Software Engineers | All Levels job at Antithesis located?
This Software Engineers | All Levels position at Antithesis is located in Vienna, VA (On-site). Always check Antithesis's application page for specific state eligibility or relocation policies.
What qualifications are required for Software Engineers | All Levels at Antithesis?
For the Software Engineers | All Levels role, Antithesis highlights experience with Rust, C/C++, TypeScript, Nix, distributed systems. Rolev.ai can score your existing resume against these requirements and show any skill gaps before you apply.
How do I apply for the Software Engineers | All Levels position at Antithesis?
This listing links directly to Antithesis's Ashby application page. You can apply directly on Antithesis's site, or use Rolev.ai to check your resume fit, generate a zero-hallucination tailored resume and cover letter for this posting, and autofill the Ashby application form in 1 click with the Rolev.ai Chrome extension. You always review the form and press Submit yourself.