需求单位

浙江迪捷软件科技有限公司

职位名称

形式化验证首席科学家

职位要求

岗位介绍：（注：特指高层次人才）

1. 解决安全关键领域中的软件保障、静态分析和/或形式方法中遇到的问题；

2. 配备具有国内一流专家的研究团队的工作人员进行研究和开发，以改进形式化验证和实践方面的最新技术；

3. 参与创建并应用静态分析以及形式化方法工具和技术来解决实际问题的研究项目，包含对嵌入式系统的形式化验证；

4. 设计和开发算法、技术和新工具，以便实现和测试您对安全关键领域内更好的提供软件保障的理念；

5. 分析与软件保障相关的数据和结果：展现在软件开发中使用静态分析和形式化方法的优势；使用分析性工具进行分析对于展现其实用性至关重要；

6. 通过发表论文和演讲，向专业技术人员、管理层和政府决策者清晰地表达自己的观点、分享知识。抓住机遇积极参与提案撰写，参加各项工作组、赞助会议及其他会议。

职位要求

1. 计算机科学、计算机工程、数学或相关专业博士学位；

2. 5年以上静态分析和形式化方法的经验；

3. 具有形式化方法、工具及技术经验，如模型检查、定理证明、编程语言分析和设计、类型理论、静态源代码分析和形式逻辑；

4. 能够理解各种编程语言的代码，并能够开发软件来演示新的分析功能；

5. 可能需要在国内外出差；

6. 有Coq的实际项目经验。

详细咨询可加微信：shuobo1948