[TYPES/announce] Morello: Edinburgh research post on capability-based security technologies

[Ian Stark]

Morello: Digital Security by Design Technology Platform Prototype

Laboratory for Foundations of Computer Science
School of Informatics
The University of Edinburgh

https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CNK977/research-associate__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlwYa2-MHw$ 
Applications close 11 April 2022 at 1600 UTC

We are recruiting a postdoctoral researcher 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. https://urldefense.com/v3/__https://blogs.ed.ac.uk/morello__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlwDOgO8ww$ 

Further information below: for full details and how to apply please visit
https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CNK977/research-associate__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlwYa2-MHw$ 

If you would like to discuss informally then please contact
Ian.Stark at ed.ac.uk, the project lead for Edinburgh.

The University of Edinburgh only takes formal references after appointment: if
you have individual letters of support then please submit these as part of
your initial application. This position is not restricted to UK or EU citizens
and the university will assist with any visas and work permits necessary.

Follow these links for more about the wider project.

   Morello at Edinburgh: https://urldefense.com/v3/__https://blogs.ed.ac.uk/morello__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlwDOgO8ww$ 

   CHERI Architecture: https://urldefense.com/v3/__https://www.cheri-cpu.org__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlyVwpay_A$ 

   Morello at Arm: https://urldefense.com/v3/__https://www.arm.com/architecture/cpu/morello__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlwkoruc9A$ 

   Morello Software Stack: https://urldefense.com/v3/__https://www.morello-project.org__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlxBLf_cfA$ 

   Sail Language: https://urldefense.com/v3/__https://www.cl.cam.ac.uk/*pes20/sail/__;fg!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlzfQ-ZjKw$ 

   Video presentation of CHERI security architecture and Morello platform
   https://urldefense.com/v3/__https://youtu.be/dxDDZ5aNTNs__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlxS7BNIAg$ 

   Digital Security by Design: https://urldefense.com/v3/__https://dsbd.tech__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlxRsx95Ag$ 

The only essential requirement for these positions is 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.

- Knowledge of instruction-set architectures; specifically Arm A64, but RISC-V
   also relevant.

- Experience with compiler optimization correctness or secure compilation.

- Experience in formal modelling of security properties.

- Knowledge of programming-language semantics and type systems.

- Knowledge of program logics, program analysis, and specification.


-- 
Ian Stark                       Laboratory for Foundations of Computer Science
https://urldefense.com/v3/__http://homepages.ed.ac.uk/stark__;!!IBzWLUs!AcmGpSAqg3oyNnPBxTdz6H4x-95zCQckzrNCEB0AP-y-r8eK1Bv3QafOpzqF2ueTdeisIlzGaOtmXQ$  School of Informatics, University of Edinburgh
------------------------------------------------------------------------------
The University of Edinburgh is a charitable body, registered in Scotland, with
registration number SC005336.