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/CNK977/research-associate 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://blogs.ed.ac.uk/morello Further information below: for full details and how to apply please visit https://www.jobs.ac.uk/job/CNK977/research-associate If you would like to discuss informally then please contact ian.st...@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://blogs.ed.ac.uk/morello CHERI Architecture: https://www.cheri-cpu.org Morello at Arm: https://www.arm.com/architecture/cpu/morello Morello Software Stack: https://www.morello-project.org Sail Language: https://www.cl.cam.ac.uk/~pes20/sail/ Video presentation of CHERI security architecture and Morello platform https://youtu.be/dxDDZ5aNTNs Digital Security by Design: https://dsbd.tech 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 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. _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
