2 of 2 Remote/Hybrid Electronic Design Automation Jobs in Cambridgeshire

refactor support). Collaborate with Arm Engineering teams to capture real engineering struggles and turn them into clear requirements. Build quick prototypes and evaluate EDA AI tools, to validate feasibility and quantify impact. Drive adoption as a change leader: run demos/workshops; Contribute onboarding guides; Identify and remove adoption … verification methodology: Deep understanding of RTL design, interfaces between RTL, testbench and Verification IP, experience with debugging compile and simulation issues. Experience with EDA vendor tooling: Domain knowledge of at least one (of the three major) EDA vendor toolset. AI tooling fluency: Practical experience using AI for engineering automation ...

will have proven experience in delivering industry‐leading verification quality and productivity under tight schedules. In this role the candidate will collaborate with architecture, design and central formal verification teams to define our formal verification roadmap, strategy, methodology, infrastructure and expand formal verification adoption through project execution. The candidate … engines and use cases Proven expertise in system Verilog assertion and abstract model development Expert user of formal verification tools from both academia and EDA vendors (JasperGold, VC formal, Murphi, theorem prover) Proven track record of delivering high quality verification under tight schedule for modern, large‐scale processor design ...