From: Ian Stark <Ian.Stark@ed.ac.uk>
To: lfcs-interest@inf.ed.ac.uk, isabelle-users@cl.cam.ac.uk,
types-announce@lists.seas.upenn.edu, spls@lists.cent.gla.ac.uk,
sicsa-cyber@sicsa.ac.uk, sicsa-theory@sicsa.ac.uk,
csf-attendees@mail-infsec.cs.uni-saarland.de, coq-club@inria.fr,
hol-info@lists.sourceforge.net, caml-list@inria.fr
Subject: [Caml-list] Morello: Edinburgh research posts on capability-based security technologies
Date: Sun, 28 Mar 2021 18:51:07 +0100 (GMT Summer Time) [thread overview]
Message-ID: <alpine.WNT.2.23.453.2103281846190.8232@Locke> (raw)
Morello: Digital Security by Design Technology Platform Prototype
Laboratory for Foundations of Computer Science
School of Informatics
The University of Edinburgh
https://www.jobs.ac.uk/job/CEO974/research-associate
*** Applications close 2 April 2021 at 1600 UTC ***
We are recruiting two postdoctoral researchers to join the Innovate UK project
"Digital Security by Design: Technology Platform Prototype". This is a
research collaboration between Arm and the Universities of Cambridge and
Edinburgh to develop the Morello platform, applying a novel capability-based
architecture to a mainstream high-performance processor and software stack.
Further information below: for full details and how to apply please follow the
link above.
If you would like to discuss informally then please contact
Ian.Stark@ed.ac.uk, the project lead for Edinburgh.
The University of Edinburgh only take formal references after appointment: if
you have individual letters of support then please submit these as part of
your initial application.
Follow these links for more about the wider project.
Morello Platform: https://www.morello-project.org
CHERI Architecture: http://www.cheri-cpu.org
Sail Language: https://www.cl.cam.ac.uk/~pes20/sail/
Detailed developer information from Arm
https://developer.arm.com/architectures/cpu-architecture/a-profile/morello
Video presentation of CHERI security architecture and Morello platform
https://vimeo.com/486754830
The only essential requirement for these positions is that a PhD or equivalent
research experience in computer science, informatics, mathematics, or a
related discipline. This includes being close to PhD completion and
submission.
We are particularly interested to hear from candidates with any of the
following. There is no requirement to demonstrate all of these together: this
project crosses domains and the precise tasks followed will depend on each
researcher's individual skills, experience, and interests.
- Experience with machine-assisted reasoning tools and automated provers: such
as Coq, Isabelle, HOL4; or SAT/SMT solvers
- Experience with functional programming in OCaml
- Knowledge of instruction-set architectures; specifically Arm A64, but RISC-V
also relevant
- Knowledge of programming-language semantics and type systems
- Knowledge of program logics, program analysis, and specification
--
Ian Stark Laboratory for Foundations of Computer Science
http://homepages.ed.ac.uk/stark School of Informatics, University of Edinburgh
------------------------------------------------------------------------------
The University of Edinburgh is a charitable body, registered in Scotland, with
registration number SC005336.
reply other threads:[~2021-03-28 17:51 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=alpine.WNT.2.23.453.2103281846190.8232@Locke \
--to=ian.stark@ed.ac.uk \
--cc=caml-list@inria.fr \
--cc=coq-club@inria.fr \
--cc=csf-attendees@mail-infsec.cs.uni-saarland.de \
--cc=hol-info@lists.sourceforge.net \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=lfcs-interest@inf.ed.ac.uk \
--cc=sicsa-cyber@sicsa.ac.uk \
--cc=sicsa-theory@sicsa.ac.uk \
--cc=spls@lists.cent.gla.ac.uk \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).