To support this announcement: CHERI is one of the most exciting projects out there in terms of hardware-software codesign: a radical approach to security (capabilities) with a strong focus on making it practical in the real world.

On Fri, Jan 8, 2021 at 2:13 PM Peter Sewell <Peter.Sewell@cl.cam.ac.uk> wrote:

We are looking for postdoctoral researchers and postdoctoral or postgraduate research engineers to help develop semantics and verification to improve the foundations and security of mainstream computer systems, for CHERI and Arm system software verification, at the University of Cambridge. OCaml expertise to help develop verification tools will be especially welcome. Closing date 13 January 2021 - see the advert.

Peter