您当前的位置: 首页 > 体育

华为2019招聘_上海北京杭州校园招聘

2018-12-01 21:25:23
华为2019招聘_上海北京杭州校园招聘 [原帖] 发信人: meteorman(流星人), 应届生◇ bbs.yingjiesheng.com◇Info 标 题: 【华为社招】操作系统相关职位 发信站: 饮水思源 (2018年10月19日14:10:03 星期五) 随着信息技术的发展,特别是物联网、AI等的飞速发展,微内核作为受关注的下一代操 作系统核心越来越受到重视:黑莓的qnx已经应用到了众多的行业中,谷歌的fuchsia也在 如火如涂的开发中,华为的新一代微内核系统也已悄然上线 ... 如果你不甘于仅仅做一个代码的搬运工,迷失于纷繁的硬件文档,茫然于变幻的数据中, 而是有着程序员的梦想弄潮于信息技术的前沿,那就来华为OS内核实验室吧,让我们共 同编织华为新的神话! 1. 操作系统开发工程师 工作职责 - 参与下一代OS研究、设计、开发与应用 - 挖掘OS关键技术和构建原型系统,推动关键技术落地 - 参与OS特性、子系统开发、整体性能调测和功能测试 任职资格 - 熟悉C语言,并具备一定程度的OS领域开发经验 - 了解OS关键模块(如内存、调度、文件系统、驱动、安全、性能调优等) - 一定的Linux系统开发经验和专业技术 - 良好的交流协作能力 - 较强的自学能力和解决问题的能力 2. 操作系统测试工程师 工作职责 - 设计测试方案,编写测试框架 - 参与操作系统的整体功能测试和性能测试 - 对特定模块编写单元测试,对整体系统进行压力测试 任职资格 - 熟悉C语言和Linux操作系统,并具备一定程度的系统测试经验 - 了解通用的测试框架,并掌握相关技能 - 良好的交流协作能力 - 较强的自学能力和解决问题的能力 3. 形式化技术研究员 工作职责 - 负责操作系统、嵌入式软硬件、模型驱动开发工具中形式化建模与形式化验证相关技术 - 负责形式化验证领域前沿技术和前沿解决方案的探索 - 负责形式化验证项目运作和实施等工作 - 参与操作系统等领域形式化验证相关项目实践,完成项目的调研、设计、编码、调试等 任职资格 - 计算机,软件与理论,软件工程等相关专业本科以上学历,1年以上形式化验证领域研究 - 熟悉模型检验和定理证明的形式化验证工具优先,如Spin,UPPAAL,Coq,Isabell,Z3 - 良好的跨地域、跨文化的交流协作能力 - 较强的自学能力和解决问题的能力 有意者简历发送到:shiwei.wang@huawei.com 工作地点:北京/上海/杭州 ※ 来源:·饮水思源 bbs.sjtu.edu.cn·[FROM: 116.66.184.189] 天津拖车绳报价
广东相机取景器品牌大全
大同电感器
中山田径服厂家
高压合金钢管
推荐阅读
图文聚焦