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.