Formal Verification Engineer Axiomise

{ “@context”: “http://schema.org”, “@type”: “JobPosting”, “title”: “Formal Verification Engineer Axiomise”, “description”: “

We are looking to hire top‑notch experienced engineering talent for the UK. Your typical day job would involve building cutting‑edge formal verification testbench environments to find bugs and build proofs of bug absence in SoCs containing processors, video/GPUs, networking, AI/ML designs. Formal verification is the only way to generate proofs of correctness and build proofs of bug absence. For this position we expect you to have prior industry experience in design verification including formal verification.

For additional details and the most recent updates, hit “Apply for job”

#J-18808-Ljbffr”, “datePosted”: “2026-05-15”, “hiringOrganization”: { “@type”: “Organization”, “name”: “Semiconductor Engineering”, “sameAs”: “https://uk.whatjobs.com/pub_api__cpl__432643919__4861?utm_campaign=publisher&utm_medium=api&utm_source=4861” }, “jobLocation”: { “@type”: “Place”, “address”: { “@type”: “PostalAddress”, “addressLocality”: “” } } }