Antithesis is using deterministic simulation, fuzzing, and novel ML techniques to improve software testing and increase developer velocity. They offer fully funded medical, dental, and vision insurance, unlimited vacation with mandatory minimum vacation time, flexible hours, and an incredible, cohesive team.