* [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;
as well as URLs for NNTP newsgroup(s).