caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] postdoc researcher and research engineer positions for CHERI and Arm verification
@ 2021-01-08 13:13 Peter Sewell
  2021-01-08 13:51 ` Gabriel Scherer
  0 siblings, 1 reply; 2+ messages in thread
From: Peter Sewell @ 2021-01-08 13:13 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:13 [Caml-list] postdoc researcher and research engineer positions for CHERI and Arm verification Peter Sewell
@ 2021-01-08 13:51 ` Gabriel Scherer
  0 siblings, 0 replies; 2+ messages in thread
From: Gabriel Scherer @ 2021-01-08 13:51 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, back to index

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-01-08 13:13 [Caml-list] postdoc researcher and research engineer positions for CHERI and Arm verification Peter Sewell
2021-01-08 13:51 ` Gabriel Scherer

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox