上海市高可信计算重点实验室始建于2007年12月。2009年7月经上海市科委批准正式运行。实验室依托华东师范大学软件工程学院，以计算机科学和软件工程领域提出的可信计算和安全软件的基本问题为背景，面向国家发展软件产业的战略需求和上海市地方经济的重点需求，开展可信计算理论与可信软件开发技术等基础研究。

华东师范大学是由国家举办、教育部主管，教育部与上海市人民政府重点共建的综合性研究性大学，是双一流A类建设高校。华东师范大学软件工程学院成立于2002年1月（原名软件学院），是国家首批35所示范性软件学院之一，也是教育部、工信部首批特色化示范性软件学院，首任院长为中国科学院何积丰院士。学院依托的软件工程学科作为学校双一流重点建设学科之一，于2012年获批上海市一流学科（B类），同年学科评估结果中，排名全国第六，上海市第一；2016年教育部第四轮学科评估中位列A档（全国前5%）；在2019软科中国最好学科排名中位列全国第五，2020、2021、2022连续三年位列第二，2023、2024连续两年位列全国第一，成为全国顶尖学科。

实验室目前聚焦高可信计算理论、可信软件智能化构造、可信人工智能、网络与信息安全、软件与系统安全等方向。现拥有一支结构合理、实力雄厚的研究队伍。实验室依托滴水湖国际软件学院深入开展产学研合作，面向航空航天、轨道交通、汽车电子、半导体系统软件等重点领域高安全、高可信软件与系统设计与开发需求，联合龙头企业开展技术攻关、工具研发和人才培养，形成了一批创新性成果。近五年来在软件工程、人工智能和理论计算机等领域发表高水平论文300余篇，先后获得上海市科技进步特等奖和技术发明一等奖等科技奖励。

随着以大语言模型为代表的人工智能技术带来的深刻变革和历史机遇，为进一步促进实验室在可信智能计算理论、方法与应用方面的发展，现面向海内外公开招聘优秀博士后研究员，围绕高可信计算、智能软件工程、AI4FM与FM4AI、程序语言、网络与信息安全、软件与系统安全等领域世界前沿难题和产业技术问题，开展高水平学术研究。

一、招聘需求

2-3名博士后研究员

二、岗位设置与任职基本条件

1.具有博士学位，获博士学位一般不超过3年。

2.身心健康，品学兼优，具有较高的学术水平和较强的科研能力。

3.年龄一般不超过35周岁。

三、支持待遇

1.实验室参照世界一流大学博士后研究员岗位，提供有竞争力的年薪。

2.实验室根据业绩贡献，提供额外的绩效奖励。

四、应聘方法

1.有意向的应聘者请将个人简历PDF发至邮箱：yangyang@sei.ecnu.edu.cn，邮件主题请注明“应聘博士后+姓名+博士后招收网”。

2.实验室将对应聘材料进行初审，初审合格者另行通知面试时间。

3.咨询电话：+86-21-62235208，联系人：杨老师。

原文出处：

https://mp.weixin.qq.com/s/MuWC3jTE63nBvKFHNrR7nA