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
> <http://www.jobs.cam.ac.uk/job/28012/>.
>
> Peter
>
>