Antithesis is using deterministic simulation, fuzzing, and novel ML techniques to improve software testing and increase developer velocity. See Will's talk (https://www.youtube.com/watch?v=fFSPwJFXVlw) for the ideas that underpin our approach or read the Simulation Testing section of https://www.foundationdb.org/files/fdb-paper.pdf. We have a growing base of customers and great community buy-in. Fully funded medical, dental, and vision insurance. Unlimited vacation (with mandatory MINIMUM vacation time). Flexible hours. Incredible, cohesive team with the hardest and most interesting problems to solve.
We're doing things nobody has done before, so we don't need familiarity with any particular language, framework, domain, or anything like that. Don't care. What we do care about: you're smart, get things done, a joy to work with, and are comfortable dealing with open-ended problems. Check out our blog for an examples of what we recently launched, e.g.: https://antithesis.com/blog/multiverse_debugging/
Apply at https://antithesis.com/company/careers/.
We're also hiring for professional services roles. Feel free to ask about those, too.