* [Caml-list] postdoc researcher and research engineer positions for CHERI and Arm verification @ 2021-01-08 13:12 Peter Sewell 2021-01-08 13:50 ` Gabriel Scherer 0 siblings, 1 reply; 2+ messages in thread From: Peter Sewell @ 2021-01-08 13:12 UTC (permalink / raw) To: caml-list [-- Attachment #1: Type: text/plain, Size: 464 bytes --] 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 [-- Attachment #2: Type: text/html, Size: 572 bytes --] ^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] postdoc researcher and research engineer positions for CHERI and Arm verification 2021-01-08 13:12 [Caml-list] postdoc researcher and research engineer positions for CHERI and Arm verification Peter Sewell @ 2021-01-08 13:50 ` Gabriel Scherer 0 siblings, 0 replies; 2+ messages in thread From: Gabriel Scherer @ 2021-01-08 13:50 UTC (permalink / raw) To: Peter.Sewell; +Cc: caml users [-- Attachment #1: Type: text/plain, Size: 799 bytes --] 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 > > [-- Attachment #2: Type: text/html, Size: 1189 bytes --] ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-01-08 13:51 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2021-01-08 13:12 [Caml-list] postdoc researcher and research engineer positions for CHERI and Arm verification Peter Sewell 2021-01-08 13:50 ` Gabriel Scherer
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox