亚洲AV无码精品一区二区在线|国产免费播放一区二区三区|最新人妻无码不卡在线|亚洲成人在线电影

您的位置:中國博士人才網(wǎng) > 科研院所招聘 > 中國科學院軟件研究所計算機科學國家重點實驗室2022年4月招聘2名工作人員啟事

關(guān)注微信

中國科學院軟件研究所計算機科學國家重點實驗室2022年4月招聘2名工作人員啟事

時間:2022-04-28來源:中國博士人才網(wǎng) 作者:佚名

中科院軟件所成立于1985年3月1日,是一所致力于計算機科學理論和軟件高新技術(shù)的研究與發(fā)展的綜合性基地型研究所(詳情請查閱軟件所網(wǎng)頁http://www.iscas.ac.cn)。因工作需要,中國科學院軟件研究所計算機科學國家重點實驗室現(xiàn)公開招聘2名工作人員,詳情如下:

崗位名稱:安全有關(guān)系統(tǒng)軟件驗證(2人)

崗位職責:

1、從事安全有關(guān)系統(tǒng)軟件建模與驗證;

2、相關(guān)驗證文檔整理與認證。

任職要求:

1、計算機科學和技術(shù)、軟件工程碩士或者數(shù)學碩士或者博士;

2、具有程序驗證經(jīng)驗,熟悉Coq、Isabelle等交互式定理證明器和Z3的SMT約束求解器。

應(yīng)聘材料的投遞:

應(yīng)聘者請將本人簡歷發(fā)送至:zhaopin@iscas.ac.cn郵件名稱為“姓名+應(yīng)聘崗位 ”。

面試:

研究所按招聘條件對申請者進行資格審查,并在收到材料的一個月內(nèi)通知初審合格者前來面試。資格審查未通過者,恕不另行通知。本招聘有效期至招到合適人員為止。

待遇:

以上崗位屬項目聘用,工資待遇按工作業(yè)績以及中科院軟件所相關(guān)管理規(guī)定執(zhí)行,優(yōu)秀應(yīng)聘者待遇從優(yōu)。

信息來源于網(wǎng)絡(luò),如有變更請以原發(fā)布者為準。

來源鏈接:

 

http://www.is.cas.cn/rcdw2016/rczp2016/202204/t20220422_6435907.html

為防止簡歷投遞丟失請抄送一份至:boshijob@126.com(郵件標題格式:應(yīng)聘職位名稱+姓名+學歷+專業(yè)+中國博士人才網(wǎng))

中國-博士人才網(wǎng)發(fā)布

聲明提示:凡本網(wǎng)注明“來源:XXX”的文/圖等稿件,本網(wǎng)轉(zhuǎn)載出于傳遞更多信息及方便產(chǎn)業(yè)探討之目的,并不意味著本站贊同其觀點或證實其內(nèi)容的真實性,文章內(nèi)容僅供參考。

相關(guān)文章
盘锦市| 阳泉市| 滦南县| 苏尼特左旗| 酉阳| 报价| 辽阳县| 永清县| 枣强县| 留坝县| 霞浦县| 德州市| 玉环县| 东乡| 合阳县| 偃师市| 镇赉县| 江北区| 海原县| 韩城市| 哈密市| 瓦房店市| 万州区| 屏南县| 安图县| 大石桥市| 寿光市| 堆龙德庆县| 沛县| 太康县| 上饶市| 龙山县| 望江县| 盘山县| 琼结县| 嵩明县| 沿河| 汕头市| 青田县| 甘泉县| 龙口市|