Senior Software Engineer - Fuzzer
Antithesis · Vienna, Virginia, US
About Antithesis We're building something genuinely hard, and we need people who are excited by that challenge. At Antithesis, we run entire software systems...
Job description
About Antithesis We're building something genuinely hard, and we need people who are excited by that challenge. At Antithesis, we run entire software systems inside a deterministic simulation and break them in every way imaginable. Every issue comes with a perfect reproduction, so you can identify root causes faster instead of spending days trying to recreate what went wrong. We've been quietly reinventing how the world thinks about software reliability, and we're just getting started. The rise of AI-generated code has made this work more urgent than ever. Agents can write code faster than any human, but speed doesn't matter much when the output is buggy, stuck in review, or slipping through undetected. The verification bottleneck is real, it's growing, and solving it is one of the most consequential problems in software right now. That's what you'd be working on. We're well-funded and deeply technical, the kind of place where the hardest problems get the most attention and the best ideas win regardless of who has them. If you want to do work that actually moves the needle on how reliable software can be, keep reading. About the Role: At the heart of Antithesis is the Fuzzer, our a...