Senior Engineer, Hegel PBT Specialist — London

{ “@context”: “http://schema.org”, “@type”: “JobPosting”, “title”: “Senior Engineer, Hegel PBT Specialist — London”, “description”: “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.#J-18808-Ljbffr”, “datePosted”: “2026-04-30”, “hiringOrganization”: { “@type”: “Organization”, “name”: “Sky Mavis”, “sameAs”: “https://uk.whatjobs.com/pub_api__cpl__417961270__4861?utm_campaign=publisher&utm_medium=api&utm_source=4861&geoID=33” }, “jobLocation”: { “@type”: “Place”, “address”: { “@type”: “PostalAddress”, “addressLocality”: “London” } } }
Company: Sky Mavis
Apply for the Senior Engineer, Hegel PBT Specialist — London
Location: London
Job Description:

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.#J-18808-Ljbffr…

Posted: April 30th, 2026