预约订阅公告
智能一键选岗
预约考试公告
每日推荐备考北京公务员申论范文—1
公务员申论范文—1
事业单位综合岗 0.01元
登录 | 注册
| 工作单位 | 中国科学院软件研究所 | 省份 | 北京 |
|---|---|---|---|
| 职位名称 | 形式化方法助理研究员 | 职位简介 | 开展形式化方法及其与人工智能等学科交叉的科研工作，主要分为以下两个方面：1.形式化方法理论、方法、技术与工具；2.面向特定领域的形式化方法与应用。同时积极申请和参与相关科研项目。具体研究方向包括但不限于(1)复杂系统建模、性质规约、控制合成、形式验证与在线监控；(2)自动和交互式定理证明；(3)程序语言与类型系统；(4)程序分析、验证与合成；(5)复杂约束求解与判定过程；(6)SMT与SAT求解；(7)模型驱动开发与仿真测试；(8)可信人工智能；(9)实时、嵌入式系统和智能信息物理融合系统；(10)复杂系统信息安全与隐私；(11)人工智能中的形式化方法；(12)卫星及星座建模与仿真、任务规划与星上智能；(13)AI4SCIENCE、AI4MATH、AI4FM等。 |
|---|---|---|---|
| 招录人数 | 8 |
| 专业要求 | 数学、控制、计算机科学与技术、软件理论与工程、信息安全、网络安全、人工智能等相关专 | 学历要求 | 博士 |
|---|---|---|---|
| 其他条件 | 1.具备自我驱动能力、较好的时间管理能力和科研热情；2.具备形式化方法背景，对形式化方法具有兴趣，熟悉至少一个以上研究方向，具备扎实的理论基础或较强的工具开发能力；3.以第一作者或通讯作者在以上方向的国际权威会议或期刊发表过多篇学术论文，或拥有具有应用可能的专利；4.有责任心、具备独立科研能力，易于沟通、具备良好的团队合作精神。 |
| 获取考试报名动态 | 
关注中公教育公众号 |
职位报名指导 | 一键加Q群
备考学习交流群 |
|---|
免责声明：中公教育提示广大考生，请报考前仔细阅读对应职位招录要求或联系招录单位确认，本职位检索系统提供内容仅供参考！
京公网安备 11010802020593号 出版物经营许可证新出发京批字第直130052号 
电子营业执照
