嵌入式操作系统安全及 形式化验证 15-30k
嘉兴 经验不限 硕士
收藏
五险一金 节日礼物 带薪年假 年度旅游 通讯津贴 餐费补贴 发展空间大 技能培训 定期体检 年终奖金
avator
宋女士 3天前在线 已认证
聊一聊
职位介绍
  • 嵌入式研发
职责描述: 1.嵌入式操作系统内核的形式化建模; 2.嵌入式操作系统关键性质的规约与形式化验证。 任职要求: 1.数学、计算机、电子、自动化、通讯等信息相关专业,本科及以上学位; 2.熟悉函数式编程思维; 3.掌握至少一种定理证明工具; 4.熟悉状态机、进程代数等理论; 5.熟悉嵌入式系统的关键性质的规约与形式验证方法。
其他信息
所属部门:数字安全创新中心

公司简介

浙江大学嘉兴研究院简介 浙江大学嘉兴研究院由嘉兴市秀洲区人民政府与浙江大学共同建设的具有独立法人的事业单位,属于新型研发机构。 研究院主要工作内容及研究方向: 研究院聚焦智能光电、先进能源、数字安全、区域发展战略等重点领域,开展创新平台建设、人才引进培育、科技成果转化、决策咨询等工作。研究院下设三个中心及一个研究室: 依托浙江大学光电科学与工程学院,设立智能光电创新中心;依托浙江大学能源工程学院,设立先进能源科技创新中心;依托浙江大学计算机科学与技术学院暨网络空间安全学院,设立数字安全创新中心;依托浙江大学经济学院和浙江大学长三角一体化发展研究中心,设立区域发展战略研究室。
查看全部

职位透镜

您与该职位的匹配度: 登录查看
lens

猎聘温馨提示:

1. 如您发现平台内招聘方存在以下违规行为的,请立即举报
  • a. 扣押您的身份证件或者其他证件;
  • b. 要求您提供担保人、担保金或者以其他名义向您收取财物( 如培训费、体检费、资料费、置装费、押金等);
  • c. 强迫您入股或者向您集资;
  • d. 以招聘名义牟取不正当利益;
  • e. 发布虚假招聘广告信息;
  • f. 存在其他损害您的合法权益的行为。
2. 如您应聘的岗位属于涉外劳务合作/海外岗位的,请务必核实招聘方对外劳务合作资质取得情况,同时注意自身资金安全,防范招聘欺诈。
查看全部

猜你喜欢

1 2 3 4