26 to 29 of 29 Computer Architecture Jobs in Cambridge

Formal Verification Engineer

Location
Cambridge, England, United Kingdom
design verification; a keen interest in processors and digital systems; and excellent attention to detail and reasoning skills Solid understanding of fundamental verification concepts, computer architecture, and microarchitectural design Ability to translate abstract formal concepts into practical, effective design verification solutions Nice-to-have skills and experience Experience … with industry-standard formal verification tools Proficiency in scripting languages such as Python, Perl, Tcl, or Shell Familiarity with the Arm architecture and AMBA protocols Knowledge of sophisticated model-checking techniques Understanding of assume-guarantee reasoning, invariants, and abstractions Accommodations at Arm At Arm, we want to build extraordinary ...

Software Dev Engineer (Embedded Development), Amazon Devices - Ring & Blink

Location
Cambridge, England, United Kingdom
language Experience from previous technical internship(s) or demonstrated project experience Experience with Unix and scripting in Perl, shell, C or C++ Experience in computer architecture, or experience writing low level drivers Experience with RTOS or bare-metal programming Amazon is an equal opportunities employer. We believe passionately ...

Performance Engineer – Language Runtime (Contractor)

Location
Cambridge, England, United Kingdom
specification may be reviewed on an ongoing basis in accordance with the changing needs of Huawei Research and Development UK Limited. Required: Degree in Computer Science, Computer Engineering, Electrical Engineering or a related field, or equivalent practical experience. Strong C and C++ (or Rust) , with the ability … self‐built system of that kind. Familiarity with cycle‐accurate or architectural simulators such as gem5. Publications or patents in runtimes, compilers or computer architecture. #J-18808-Ljbffr ...

Technical Director, Infrastructure SoC Software

Location
Cambridge, England, United Kingdom
progress across SoC, firmware and system validation from pre-silicon through silicon bring-up and production readiness. Partner with senior leaders across hardware, software, architecture and product teams to align with technology and delivery strategy and drive key decisions at the organisation level. Actively analyse product requirements, architecture … across pre-silicon and silicon environments. Deep expertise low-level systems, including bootloaders, device drivers, OS fundamentals (preferably Linux), and a good understanding of computer architecture. Excellent technical judgement, leadership and communication skills, with a proven ability to influence senior collaborators and drive decisions across engineering organizations. “Nice ...