各位同学好，华为2021届校园招聘正火热进行中，华为OS内核实验室诚邀各位学子的加入。
【实验室简介】
工作地点：
华为OS内核实验室肩负着未来5G、管道、AR/VR等新技术场景所需要的低时延、高安全、高可靠、高智能的下一代OS内核技术的研究和成果转化，以及未来ICT、NFV/SDN、云服务场景下的Linux内核的技术创新。实验室目前已有百人以上的规模，聚集了由上海交大陈海波教授领衔的国内外学术界及工业界多名OS领域学者、专家，均来自国际、国内顶尖的科研院所或者著名公司，多名学者在国际学术界具有较强影响力，经常担任各类相关领域顶级会议PC，多名专家在Linux等开源社区具有显著的贡献度。
实验室当前已与包括但不限于Stanford、Yale、UCSD、ETH、UNSW等国际知名高校和顶尖实验室展开项目合作，致力于打造业界领先的下一代操作系统。
如果您相信技术可以改变世界，如果您希望致力于操作系统相关领域的研究与应用，欢迎您加入我们，一起打造面向未来的操作系统。
实验室当前已与包括但不限于Stanford、Yale、UCSD、ETH、UNSW等国际知名高校和顶尖实验室展开项目合作，致力于打造业界领先的下一代操作系统。
如果您相信技术可以改变世界，如果您希望致力于操作系统相关领域的研究与应用，欢迎您加入我们，一起打造面向未来的操作系统。
【岗位1：操作系统开发工程师】
岗位职责：
1、深入下一代OS内核、下一代智慧化用户体验、终端OS、下一代嵌入式、边缘计算、虚拟化等技术创新突破；
2、承担公有云/NFV/SDN/IOT/云存储等关键场景下，基于X86和ARM64等架构的OS核心子系统的特性需求分析、关键技术的设计和编码等研发工作；
3、Linux、微内核、Docker 、虚拟化、Linaro、Android等社区为你敞开大门，你将会参加各种开源软件峰会，与业界大牛面对面交流。
岗位要求：
1、 计算机、通信、电子、自动化、数学等相关专业本科及以上学历
2、 热爱编程，基础扎实；有C语言开发经验、了解Linux内核、嵌入式经验的优先考虑
3、有开源社区经验、ACM大赛、计算机领域发表过论文、国际期刊、专利的优先考虑
工作地点：
北京，南京，杭州，上海，深圳
1、深入下一代OS内核、下一代智慧化用户体验、终端OS、下一代嵌入式、边缘计算、虚拟化等技术创新突破；
2、承担公有云/NFV/SDN/IOT/云存储等关键场景下，基于X86和ARM64等架构的OS核心子系统的特性需求分析、关键技术的设计和编码等研发工作；
3、Linux、微内核、Docker 、虚拟化、Linaro、Android等社区为你敞开大门，你将会参加各种开源软件峰会，与业界大牛面对面交流。
岗位要求：
1、 计算机、通信、电子、自动化、数学等相关专业本科及以上学历
2、 热爱编程，基础扎实；有C语言开发经验、了解Linux内核、嵌入式经验的优先考虑
3、有开源社区经验、ACM大赛、计算机领域发表过论文、国际期刊、专利的优先考虑
工作地点：
北京，南京，杭州，上海，深圳
【岗位2：形式化技术研究员】
岗位职责：
1、负责操作系统、嵌入式软硬件、模型驱动开发工具中形式化建模与形式化验证相关技术研究
2、负责形式化验证领域前沿技术和前沿解决方案的探索
3、负责形式化验证项目运作和实施等工作
4、参与操作系统等领域形式化验证相关项目实践，完成项目的调研、设计、编码、调试等工作
1、负责操作系统、嵌入式软硬件、模型驱动开发工具中形式化建模与形式化验证相关技术研究
2、负责形式化验证领域前沿技术和前沿解决方案的探索
3、负责形式化验证项目运作和实施等工作
4、参与操作系统等领域形式化验证相关项目实践，完成项目的调研、设计、编码、调试等工作
岗位要求：
1、计算机，软件与理论，软件工程等相关专业本科以上学历
2、熟悉模型检验和定理证明的形式化验证工具优先，如 Spin、UPPAAL、Coq、Isabell、Z3 等
3、在形式化验证和程序语言理论领域发表过高水平论文，有一定的影响力优先
4、主持或参与过形式化验证相关的较大科研课题，有形式化验证方面的实际项目研发经验优先
5、良好的跨地域、跨文化的交流协作能力
1、计算机，软件与理论，软件工程等相关专业本科以上学历
2、熟悉模型检验和定理证明的形式化验证工具优先，如 Spin、UPPAAL、Coq、Isabell、Z3 等
3、在形式化验证和程序语言理论领域发表过高水平论文，有一定的影响力优先
4、主持或参与过形式化验证相关的较大科研课题，有形式化验证方面的实际项目研发经验优先
5、良好的跨地域、跨文化的交流协作能力
工作地点：
北京、上海
【招聘对象】
2021~2022年毕业的博士生
2021~2022年毕业的博士生
2021~2022年毕业的留学生
2022届毕业国内本硕同学
【投递方式】
进入华为招聘官网(career.huawei.com)，岗位选择 "软件开发工程师 - 操作系统工程师"，意向部门选择 "2012实验室 - 中央软件院"。
申请成功后把基本信息 + 简历编号发送到hr邮箱(shipeitao@huawei.com)，更多信息咨询请本帖下方留言。
进入华为招聘官网(career.huawei.com)，岗位选择 "软件开发工程师 - 操作系统工程师"，意向部门选择 "2012实验室 - 中央软件院"。
申请成功后把基本信息 + 简历编号发送到hr邮箱(shipeitao@huawei.com)，更多信息咨询请本帖下方留言。
全部评论
(5) 回帖