中国科学院软件研究所成立于1985年3月1日，是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所（详情请查阅软件所网页http://www.iscas.ac.cn）。因工作需要，中国科学院软件研究所天基综合信息系统全国重点实验室现公开招聘科研人员若干名：

    岗位名称1：智能形式化方法助理研究员/工程师（3人）

任职要求：计算机科学与技术、软件工程、人工智能、数学、控制、自动化等专业，博士研究生学历。

岗位描述：1.开展人工智能（AI）与形式化方法（FM）相结合的科研工作，包括但不限于；2.生成式人工智能与定理证明和可信代码生成，基于安全强化学习的无人系统可信控制生成，神经网络与大模型的形式分析与验证，智能信息物理融合系统的设计与分析，程序分析与验证等。

岗位要求：

1.具备至少一项以下科研背景：1.形式化方法，例如模型检验、定理证明、SAT/SMT等；2.人工智能，特别是生成式人工智能和强化学习；3.微分方程和系统控制，例如随机系统（SDE）、时延系统（DDE）、偏微分方程（PDE）等的分析与控制；4.程序分析与验证，例如程序功能正确性验证、程序终止性分析、概率程序的分析与验证；

2.具备扎实的理论基础和创新思维，动手能力强，富有探索精神；

3.以第一作者或通信作者在高水平期刊或会议上发表多篇学术论文者优先。

岗位名称2：先进软件工程助理研究员/工程师（3人）

任职要求：计算机科学与技术、软件工程、人工智能等相关专业，博士研究生学历。

岗位描述：

1.开展软件工程与人工智能深度融合的前沿科研工作，包括但不限于：

2.大模型驱动的智能代码生成与优化，基于编译原理的程序分析与变换，软件工程全生命周期的智能化方法，代码理解与程序合成的理论与实践，智能软件测试与验证技术等。

岗位要求：

1.具备至少一项以下科研背景：1.大模型技术，例如预训练模型、代码生成模型、多模态大模型等；2.编译原理与程序分析，例如静态分析、程序变换、代码优化等；3.软件工程方法，例如软件测试、软件架构、DevOps等的智能化研究；

2.具备扎实的理论基础和创新思维，动手能力强，富有探索精神；

3.以第一作者或通信作者在高水平期刊或会议上发表多篇学术论文者优先。

岗位名称3：光学智能计算助理研究员/工程师（5人）

任职要求：光学工程、计算机科学与技术、人工智能等及相关专业，博士研究生学历。