3

中国科学院软件研究所

1

智能形式化方法助理研究员/工程师

3

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

博士

计算机科学与技术、软件工程、人工智能、数学、控制、自动化等专业

1.具备至少一项以下科研背景：1.形式化方法，例如模型检验、定理证明、SAT/SMT等；2.人工智能，特别是生成式人工智能和强化学习；3.微分方程和系统控制，例如随机系统（SDE）、时延系统（DDE）、偏微分方程（PDE）等的分析与控制；4.程序分析与验证，例如程序功能正确性验证、程序终止性分析、概率程序的分析与验证； 2.具备扎实的理论基础和创新思维，动手能力强，富有探索精神； 3.以第一作者或通信作者在高水平期刊或会议上发表多篇学术论文者优先。