职位描述： 一、清华大学计算机系操作系统课题组简介  清华大学计算机系操作系统课题组，包括陈渝副教授（博导），向勇副教授，以及博士生硕士生十余人。目前主要开展系统安全/可靠性方面的科研工作，与国内外系统软件领域的专家有较多联系，在ASPLOS, IEEE TC, ACM TACO, HiPEAC, ICPP, VEE, Cluster, IPDPS, IFPI SEC,  IEEE/IFIP DSN, Journal of CCPE, ACISP, ICPADS,MASCOTS等会议和期刊上发表了论文，并主导和合作开发了SkyEye hardware simulator, Fastsocket TCP/IP stack，uCore OS, OPENTHOS等多项有一定影响力的开源项目。在国内系统软件领域属于领先水平，有较高知名度。为进一步深入研究系统安全/可靠性相关科研方向，培养系统安全/可靠性方面的研究人才，现招聘学术实习生、保送生。  二、学术实习生招聘要求 1、实习内容为系统安全/可靠性方向的系统设计与实现（包括理解和扩展国内外已有原型系统和实验室自研系统），论文写作和论文算法开发； 2、硕士生、博士生学历，或本科大四人员，有过论文写作经验优先 3、专业方向为计算机、软件、数学或相关工科专业；  4、从事过操作系统、编译原理、人工智能、机器学习，数据挖掘等相关领域的研究，或有较强写作功底，能够阅读中英文文献、撰写技术材料和论文 5、吃苦耐劳，认真学习，能够来到北京清华大学，参与写作和研发至少半年以上，每周到岗4天以上。  6、有较强编程能力（C,C++，python等），独立完成系统安全/可靠性实验或参加过编程竞赛并获奖者优先。 三、保送生/考博生/强军考博生招聘要求 1、每年招收免试保送清华大学直博生（或考博生或强军考博生）1名； 2、985重点高校的大三本科生，且能获得本校免试推荐直博名额； 3、有较强编程能力（C,C++，python等），独立完成操作系统实验或参加过编程竞赛并获奖者优先。 （如考博生//强军考博生，则需要满足清华考博要求，在每年下半年尽快与导师联系） （如保送生，则需要满足清华保送直博要求，在每年上半年尽快与导师联系） 四、待遇  月基本补助+完成论文、项目额外奖金，具体面谈，另有在清华大学成为博士生或工程师的机会。 五、联系方式  招聘信息2017年12月前有效。 六：Related paper/proj info - Juxta: Cross-checking Semantic Correctness for File Systems, SOSP 2015 - Verifying Systems Rules Using Rule-Directed Symbolic Execution ASPLOS 2013 - RID: Finding Reference Count Bugs with Inconsistent Path Pair Checking, ASPLOS 2016 - APISan: Sanitizing API Usages through Semantic Cross-checking USENIX SECURITY 2016 - syzkaller https://github.com/google/syzkaller - kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels