上海市高可信計算重點實驗室始建于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
為防止簡歷投遞丟失請抄送一份至：boshijob@126.com（郵件標題格式：應聘職位名稱+姓名+學歷+專業+中國博士人才網）
中國-博士人才網發布
聲明提示：凡本網注明“來源：XXX”的文/圖等稿件，本網轉載出于傳遞更多信息及方便產業探討之目的，并不意味著本站贊同其觀點或證實其內容的真實性，文章內容僅供參考。
