Antithesis is seeking experienced Software Engineers to join their team in Vienna, VA. The company provides a platform for engineering teams to identify and resolve bugs using deterministic simulations. They are looking for individuals passionate about learning and contributing to various projects, including functional notebooks, databases, formal proofs, and hypervisors. The culture values in-person collaboration.
Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.
Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.
For job seekers
Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.
Match
Compare live roles against your current evidence.
Position
Turn proof projects into role-specific applications.
Improve
Use market feedback to keep the skill plan current.
software testing
Antithesis is an autonomous software testing platform that finds the bugs others miss.
Customers and case studies
See customers and case studies