Datapath Verification Engineer — Formal Methods

Omaze is seeking engineers for the Datapath Formal Verification team in Greater London. The role involves developing formal specifications, executing verification plans, and debugging design issues in Apple's Silicon architecture. Candidates should have an MS or PhD in a relevant discipline, be detail-oriented, and proficient in programming. Experience with formal methods and EDA tools is preferred. This role will push the boundaries of formal verification methodologies and contribute to innovative technology solutions.
#J-18808-Ljbffr