Arm Research | Security Technical Lead | Cambridge, UK | Fulltime, Onsite
Arm Research’s Security group is tasked with securing the Arm architecture, developing new security-related technology, and keeping the rest of Arm informed of current and developing security-related technologies and trends.  We currently consist of 15 permanent members split between Cambridge (UK), Austin (TX), and Austria, plus interns.
The group has many exciting research projects tackling security problems in both hardware, software, and the interface of the two: for example, we have ongoing research projects in distributed systems’ security, privacy-preserving compute, edge security, secure firmware update, the design of remote attestation protocols, the efficient implementation of post-quantum cryptography, and the design of secure hardware debug mechanisms.  Recently-completed research projects include the verification of low-level security-critical firmware, the checking of information-flow properties in the Arm M-class architecture, and the design of policy languages for distributed systems’ security.
Group members use a range of cutting-edge technologies including Rust, seL4, WASM, formal verification tools (e.g. the C bounded model checker, CBMC), and we have members active in standardisation bodies (e.g. the IETF).  We work closely with groups from academia as well as Arm’s own product groups and other research groups within Arm Research.
We are currently looking for a new technical lead.  The role would suit somebody with a broad interest in information security with deep expertise in one or more areas related to our research projects listed above.  The successful candidate will guide the direction of the Security group, and the role therefore involves both technical and people-management aspects.
Interested parties are welcome to contact REDACTED_EMAIL for more information about the role.
Ask HN: Who is hiring? (January 2020)