形式化方法助理研究员-天基综合

面议

北京博士研究生 8人 2025-01-06发布查看公告详情

落户办理带薪年假专业培训出国机会

定期/免费体检

竞争力分析

声明：本站部分公告与职位内容由本站根据官方招聘公告进行整理编辑。由于用人单位需求专业、学历学位、资格条件、职位编制、备注内容等内容情况复杂且有变化可能，是否符合招聘条件以用人单位公告为准或请联系用人单位确认。本站整理编辑的职位信息仅供求职者参考，如因此造成的损失本站不承担任何责任！

职位详情

基本信息

职位名称：形式化方法助理研究员-天基综合

职位类型：助理研究员/研究实习员

工作地点：北京

招聘人数： 8

报名方式：网上系统,其他

截止时间：详见正文

其他要求

学历要求：博士研究生

需求专业：

数学, 计算机科学与技术, 人工智能

该需求专业仅展示一级学科

岗位职责

开展形式化方法及其与人工智能等学科交叉的科研工作，主要分为以下两个方面：1. 形式化方法理论、方法、技术与工具；2. 面向特定领域的形式化方法与应用。同时积极申请和参与相关科研项目。具体研究方向包括但不限于
(1)复杂系统建模、性质规约、控制合成、形式验证与在线监控；
(2)自动和交互式定理证明；
(3)程序语言与类型系统；
(4)程序分析、验证与合成；
(5)复杂约束求解与判定过程；
(6)SMT与SAT求解；
(7)模型驱动开发与仿真测试；
(8)可信人工智能；
(9)实时、嵌入式系统和智能信息物理融合系统；
(10)复杂系统信息安全与隐私；
(11)人工智能中的形式化方法；
(12)卫星及星座建模与仿真、任务规划与星上智能；
(13)AI4SCIENCE、AI4MATH、AI4FM等。

任职要求

1. 具备自我驱动能力、较好的时间管理能力和科研热情； 2. 具备形式化方法背景，对形式化方法具有兴趣，熟悉至少一个以上研究方向，具备扎实的理论基础或较强的工具开发能力；3. 以第一作者或通讯作者在以上方向的国际权威会议或期刊发表过多篇学术论文，或拥有具有应用可能的专利；4. 有责任心、具备独立科研能力，易于沟通、具备良好的团队合作精神。

其他说明

1．2025年即将出站的博士后和全国重点高校统招统分的2025年应届毕业生。
2．应聘“助理研究员”岗位，须具有不少于1个聘期的特别研究助理或博士后经历；
应聘“特别研究助理”岗位的应届博士毕业生，将从事科学研究工作；
应聘“工程师”岗位的应聘博士毕业生，将从事工程技术工作。不具有“特别研究助理”经历的科研人员，原则上不可转为自然科学研究系列。
3．专业基础扎实，有相关项目经验者优先，在重要核心刊物上发表过论文优先，有发明专利者优先。
4．身体健康，积极上进，具有良好的道德素质、较强的组织协调能力和团队协作能力。
5．其他应聘条件以具体岗位要求为准（参见附件《中国科学院软件研究所2025年度校园招聘岗位信息》）。

竞争力分析

解锁详细分析

您与该职位匹配度: ***，已超过了 *** 的竞争者，建议************

较低

一般

比较匹配

非常匹配

查看其他职位查看公告详情

欢迎扫描下方二维码关注高校人才网官方微信（硕博QQ交流群：1015865503 ，进微信群请加：gzgxrcw06）

重要风险提示：如招聘单位在招聘过程中向求职者提出收取押金、保证金、体检费、材料费、成本费，或指定医院体检等，求职者有权要求招聘单位出具物价部门批准的收费许可证明材料，若无法提供相关证明，请求职者提高警惕，有可能属于诈骗或违规行为。