更新：28 天前
地点：英国剑桥
最后期限：2022 年 5 月 12 日

项目简介
邀请研究助理或研究助理申请加入CHERI硬件/软件设计团队，专注于将CHERI应用于大型软件。
Chrompartments 项目是价值 1.87 亿英镑的 ISCF 数字安全设计（网站）研究计划的一部分。DSbD 旨在使用“CHERI 功能”(CHERI) 构建下一代安全处理器，提供细粒度的内存保护和分区。功能是对软件执行模型的基础性改进，它可以在现有硬件/软件堆栈上下广泛的强大安全保护。作为该计划的一部分，Arm 正在构建 Morello，这是一种高性能的 7nm 移动和服务器级片上系统，在 ARMv8A 架构中结合了 CHERI 功能的原型实现。
Chrompartments 旨在通过开发 Chromium 网络浏览器的功能增强版本来了解将 CHERI 应用于大型软件系统的最佳方法。该项目是剑桥大学和伦敦国王学院的合作项目，旨在研究如何将现有的安全策略（特别是那些利用基于进程的隔离的策略）转移到基于 CHERI 的隔间，同时保持性能和安全性。我们还计划研究新政策，这些政策是通过 CHERI 隔间和功能的有效实施来实现的。在剑桥大学，我们对图形堆栈以及它与 Web 浏览器的其余部分和 GPU 及其系统驱动程序交互的方式特别感兴趣。

候选人
剑桥大学正在寻找研究助理（有博士学位）或研究助理（没有/预博士）从事软件划分。他们将作为调查 CHERI 与图形驱动程序和 GPU 的使用的小组的一员，以及位于剑桥大学的大型 CHERI 研究团队的一部分工作。他们还将成为更广泛的国际 DSbD 和 CHERI 社区的一部分，该社区涵盖学术界和工业界的众多机构。CHERI 团队在主要场所（ISCA、MICRO、IEEE 安全和隐私、ASPLOS、NDSS、HPCA）的发布方面有着良好的记录。

理想的候选人将满足两个基本标准：
•强大的软件工程背景，最好是大型代码库
*具有系统研究经验，包括探索设计权衡空间，例如从性能角度
此外，还需要以下一项或多项属性：
•了解图形 API，例如 OpenGL 或 Vulkan
•具有构建应用层以下系统（编译器、设备驱动程序、操作系统、固件、硬件等）的经验
•对操作系统划分的理解
•意识到系统级别的安全威胁和挑战
•熟悉团队合作和强大的工程实践（版本控制、持续集成、自动化测试）
•强大的人际交往和组织能力，以及在多个地点在国际团队中工作的能力
•积极参与下游工业和开源用户社区，以及研究合作者和赞助商

更多的信息
被任命为研究助理或高级研究助理的申请人应持有博士学位或具有同等经验；那些接近提交博士学位的人最初将被任命为研究助理，并在毕业时进行修改。候选人应尽可能提供相关工作的证据，并且必须表现出进行国际领先研究并在顶级会议上发表文章的愿望。
涵盖该职位的资金从 2022 年 5 月 16 日开始为期两年，但可以安排一些灵活性。
要申请，请提交求职信和简历以及 2 份参考资料。
请在您的申请和有关此空缺的任何信件中引用参考 NR30951。
大学积极支持平等、多样性和包容性，并鼓励社会各界的申请。