Antithesis
Software Engineers | All Levels
About this role
Antithesis is seeking software engineers at all levels to build a deterministic simulation platform that identifies bugs traditional testing misses. You'll work on complex projects including notebooks, databases, and custom hypervisors using modern tech like Rust, Nix, and TypeScript in a collaborative, technically rigorous environment.
What you'll do
- Develop core platform features for autonomous testing and bug detection systems
- Build and maintain infrastructure components including hypervisors and analytics databases
- Contribute across the full stack from frontend to systems-level programming
- Collaborate on projects spanning formally proven infrastructure and reactive tools
- Debug and optimize complex distributed systems in deterministic simulation
- Mentor and share knowledge with team members
What they're looking for
- Systems programming (Rust and/or C/C++)
- Nix for builds and infrastructure
- TypeScript/JavaScript for frontend development
- Distributed systems and software reliability
- Generalist software engineering across multiple domains
- Problem-solving and debugging complex systems
- Full-stack development capabilities
- Ability to learn new tools and technologies quickly
Benefits
- Work on cutting-edge verification and testing technology
- Collaborate with deeply technical, well-funded team
- Exposure to diverse technical projects and domains
- 5 days per week in-office in Vienna, VA
- High engineering standards and competency-driven culture
- Mentorship and knowledge-sharing focused environment
Opens the application — the Jobs AI extension fills it for you. Set up autofill
Opens the official application on the employer’s site. No login required.
Antithesis
Antithesis builds a deterministic simulation platform for distributed systems testing that identifies bugs traditional testing methods miss. The company is hiring software engineers, customer-facing technical roles, and infrastructure specialists to develop its core platform and support customers in discovering and resolving bugs in their systems.
- Website
- antithesis.com
Likely interview questions
- Describe your experience building complex systems across multiple layers of the stack. How do you approach learning new domains quickly?
- Tell us about a time you debugged a particularly difficult or non-deterministic issue. What was your process?