Senior Engineer, Hegel PBT Specialist – London

Antithesis is seeking a Software Engineer in London for a full-time role focused on developing Hegel, our new family of property-based testing libraries. The ideal candidate should have experience in property-based testing and be familiar with programming languages such as Python and Rust. This in-office position values engineering competency and collaboration within a diverse team. Be part of a venture that addresses the crucial verification bottleneck in software development with innovative solutions….