3 of 3 Electronic Design Automation Jobs in the East of England

operating systems (in Rust and C). - Compilers, code generators, and linters. - Simulators and emulators (e.g. QEMU). - Electronic design automation (EDA) tools. - Performance and code size analysis. - Cloud-based infrastructure (such as continuous integration pipelines) Requirements : - Highly proficient in Rust programming; deep understanding of fundamental concepts …/CD for embedded or systems software. - Strong knowledge of computer architecture; some experience with assembly languages (x86, RISC-V); familiarity with hardware design is a plus. - Good knowledge of Linux. - Experience contributing to open source projects. - Higher degree levels and academic research experience are highly valued. ...

Title: Senior Hardware Verification Engineer Location: Cambridge, England, United Kingdom (Hybrid possible inside the UK) About the Role: We are seeking a seasoned Design Verification designer with a strong background in building testbenches and writing test sequences for complex IPs. The ideal candidate will play a key role … years and current hands-on experience in block-level/IP-level/SOC-level verification Proficiency in Verilog, SystemVerilog Familiarity with industry-standard EDA tools for simulation and debug Deep experience with UVM-based testbenches Experience with modern programming languages like Python Knowledge of ARM AMBA protocols such ...

complexity and state-space explosion. Partner with global Architecture and RTL Design teams to influence design-for-verification (DFV) decisions. Engage with EDA vendors to explore and implement cutting-edge sign-off methodologies. Key requirements: Mastery of industry-standard formal tools (e.g., JasperGold, VC Formal, or Questa Formal ...