一、清华大学计算机系操作系统课题组简介  清华大学计算机系操作系统课题组，包括陈渝副教授（博导），向勇副教授，以及博士生硕士生十余人。目前主要开展操作系统方面的科研工作，与国内外操作系统领域的专家有较多联系，在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、面向异构（CPU+GPU）架构的系统优化技术研究 2、操作系统缺陷分析与改进 3、操作系统动态分析/插桩（基于Ftrace,perf,eBPF等）分析 4、操作系统子系统部分特征正确性（基于symbolic execution+SMT）分析  5、面向操作系统不同版本的差异性分析（基于symbolic execution） 6、操作系统TCP/IP协议栈优化 7、操作系统安全隔离（基于SVA）技术研究 8、操作系统虚拟化优化（dune,kvm等）研究 9、Linux PREEMPT_RT 分析与改进 10、Linux kernel的LLVM支持 11、Linux Kernel的版本自动升级技术（基于LLVM等） 12、操作系统分层机制中的潜在缺陷和优化改进方法 13、Android全系统分析与性能优化 14、基于深度学习与数据挖掘的操作系统语义理解 P.S. 这里的操作系统主要是指Linux kernel或Linux system 二、学术实习生招聘要求 1、实习内容为操作系统与程序分析/软件优化/机器学习（深度学习）交叉领域的论文写作和论文算法开发； 2、硕士生、博士生学历，或本科大四人员，有过论文写作经验优先 3、专业方向为计算机、软件、数学或相关工科专业；  4、从事过操作系统、编译原理、人工智能、机器学习，数据挖掘等相关领域的研究，或有较强写作功底，能够阅读中英文文献、撰写技术材料和论文 5、吃苦耐劳，认真学习，能够来到北京清华大学，参与写作和研发至少半年以上，每周到岗4天以上。  6、有较强编程能力（C,C++，python等），独立完成操作系统实验或参加过编程竞赛并获奖者优先。 三、保送生/考博生/强军考博生招聘要求 1、每年招收免试保送清华大学直博生（或考博生或强军考博生）1名； 2、985重点高校的大三本科生，且能获得本校免试推荐直博名额； 3、有较强编程能力（C,C++，python等），独立完成操作系统实验或参加过编程竞赛并获奖者优先。 （如考博生//强军考博生，则需要满足清华考博要求，在每年下半年尽快与导师联系）

（如保送生，则需要满足清华保送直博要求，在每年上半年尽快与导师联系）

四、待遇  月基本补助+完成论文、项目额外奖金，具体面谈，另有在清华大学成为博士生或工程师的机会。 五、联系方式  招聘信息2018年2月前有效。