首页 > 【华为秋招】华为OS内核实验室校园招聘

【华为秋招】华为OS内核实验室校园招聘

各位同学好,华为2021届校园招聘正火热进行中,华为OS内核实验室诚邀各位学子的加入。

【实验室简介】
    华为OS内核实验室肩负着未来5G、管道、AR/VR等新技术场景所需要的低时延、高安全、高可靠、高智能的下一代OS内核技术的研究和成果转化,以及未来ICT、NFV/SDN、云服务场景下的Linux内核的技术创新。实验室目前已有百人以上的规模,聚集了由上海交大陈海波教授领衔的国内外学术界及工业界多名OS领域学者、专家,均来自国际、国内顶尖的科研院所或者著名公司,多名学者在国际学术界具有较强影响力,经常担任各类相关领域顶级会议PC,多名专家在Linux等开源社区具有显著的贡献度。
    实验室当前已与包括但不限于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大赛、计算机领域发表过论文、国际期刊、专利的优先考虑

工作地点:
北京,南京,杭州,上海,深圳

岗位2:形式化技术研究员
岗位职责:
1、负责操作系统、嵌入式软硬件、模型驱动开发工具中形式化建模与形式化验证相关技术研究
2、负责形式化验证领域前沿技术和前沿解决方案的探索
3、负责形式化验证项目运作和实施等工作
4、参与操作系统等领域形式化验证相关项目实践,完成项目的调研、设计、编码、调试等工作

岗位要求:
1、计算机,软件与理论,软件工程等相关专业本科以上学历
2、熟悉模型检验和定理证明的形式化验证工具优先,如 Spin、UPPAAL、Coq、Isabell、Z3 等
3、在形式化验证和程序语言理论领域发表过高水平论文,有一定的影响力优先
4、主持或参与过形式化验证相关的较大科研课题,有形式化验证方面的实际项目研发经验优先
5、良好的跨地域、跨文化的交流协作能力

工作地点:
北京、上海

招聘对象
2021~2022年毕业的博士生
2021~2022年毕业的留学生
2022届毕业国内本硕同学

【投递方式】
进入华为招聘官网(career.huawei.com),岗位选择 "软件开发工程师 - 操作系统工程师",意向部门选择 "2012实验室 - 中央软件院"
申请成功后把基本信息 + 简历编号发送到hr邮箱(shipeitao@huawei.com),更多信息咨询请本帖下方留言。

全部评论

(5) 回帖
加载中...
话题 回帖

推荐话题

相关热帖

近期热帖

历年真题 真题热练榜 24小时
技术(软件)/信息技术类
查看全部

近期精华帖

热门推荐