当前位置:首页 » 北京招聘 » [北京]中科院软件中心

[北京]中科院软件中心

  1. 发布时间:2019-01-14
  2. 工作地点:北京
  3. 职位类型:全职
  4. 来源:水木社区
  5. 职位:操作系统研发工程师|形式化验证工程师
发信人: hopen2018 (hopen2018), 信区: Career_Campus
标 题: 【校招】中科院软件中心-操作系统研发/形式化验证工程师
发信站: 水木社区 (Mon Jan 14 14:29:16 2019), 站内

1.[b]操作系统研发工程师[/b] 1名
【岗位责任】:负责微内核操作系统研发,并实现微内核在各种硬件体系架构(X86、ARM、MIPS 等)上的移植,完成其他客户操作系统(Linux、Android、)在微内核上的移植工作。
【所需技能】:精通操作系统知识;精通C语言系统编程;精通汇编语言;熟悉各类硬件体系架构。
【岗位要求】:具有扎实的计算机软硬件基础知识和刻苦钻研的精神,对待工作严谨、一丝不苟。

2. [b]操作系统形式化验证工程师[/b]1名
【岗位责任】:负责微内核操作系统的形式化验证,并在高阶逻辑证明工具(Isabelle/HOL)环境下完成微内核操作系统的代码验证。
【所需技能】:精通数理逻辑;精通形式化证明语言(Isabelle/HOL);精通Haskell函数式编程语言;精通操作系统知识。
【岗位要求】:具有扎实的计算机软硬件基础知识和刻苦钻研的精神,对待工作严谨、一丝不苟。

优秀应届硕士毕业生可解决北京户口(要求在校期间未参加过社保缴纳)
[color=#0000FF][b]【联系人】宋老师 【联系方式】hr@hopen.com.cn[/b][/color]

抢先订阅2018校园招聘,Offer发放提醒

相关专业最新招聘信息
名企校园招聘
  1. - 剑南春校园招聘
  2. - 山西省农村信用社联合社校园招聘
  3. - 巨人网络校园招聘
  4. - 兴业银行总行信息科技部校园招聘
  5. - 北银消费金融  校园招聘
Copyright ©前锦网络信息技术(上海)有限公司 版权所有
网站备案/许可证号:沪ICP备12015550号-13 | 上海市公安局徐汇分局网监中心备案编号:3101040220 | 触屏版