Datapath Formal Verification Engineer: Proving Silicon

{ “@context”: “http://schema.org”, “@type”: “JobPosting”, “title”: “Datapath Formal Verification Engineer: Proving Silicon”, “description”: “A leading technology company in the UK seeks a formal verification engineer to collaborate with design engineers on formal micro-architecture specifications. The role includes developing formal models, executing verification plans, and proof construction. Ideal candidates hold an MS or PhD in a relevant field and possess strong mathematical skills. Opportunities for growth in formal verification methodologies exist within a collaborative environment that values diverse perspectives.#J-18808-Ljbffr”, “datePosted”: “2026-05-07”, “hiringOrganization”: { “@type”: “Organization”, “name”: “Apple Inc.”, “sameAs”: “https://uk.whatjobs.com/pub_api__cpl__425535423__4861?utm_campaign=publisher&utm_medium=api&utm_source=4861&geoID=33” }, “jobLocation”: { “@type”: “Place”, “address”: { “@type”: “PostalAddress”, “addressLocality”: “London” } } }