形式化验研究当面告知
深圳开鸿数字产业发展有限公司
2027-01-29 18:20:54
校招27届本科硕士
岗位详情
地区：
深圳市
专业要求：
计算机科学与技术软件工程
岗位职责：
1. 参与对开鸿操作系统的形式化验证，利用定理证明、模型检测、静态分析等多种技术对LiteOS-M/A或OpenHarmony的核心API作形式化验证，发现代码缺陷、在硬件中复现并整改，确保其功能正确性、安全性、可用性。
2. 开发形式化验证工具，利用AI领域最新发展动态提高证明效率，验证操作系统源码。
3. 利用形式化技术验证软总线协议，赋能高质量软总线标准规约的实现。
招聘要求：
1. 熟悉嵌入式操作系统（RTOS/微内核）的开发与调试，了解对应的安全需求 2. 有应用形式化方法对较大复杂代码库/协议作形式化验证的经验。
公司介绍
深
深圳开鸿数字产业发展有限公司
深圳开鸿数字产业发展有限公司，成立于2021-08-26，位于广东，法定代表人：陈宇红，登记状态：存续，注册资本76269.884579万人民币，公司类型：民营/私企
公司信息:公司名称:深圳开鸿数字产业发展有限公司公司类型:公司性质:--公司地点:广东省深圳市公司规模:广东省深圳市涉及领域:--公司网址: