特別研究助理（博士后）1-計(jì)算機(jī)重點(diǎn)

面議

北京博士研究生 2人 2025-01-06發(fā)布查看公告詳情

落戶辦理帶薪年假專業(yè)培訓(xùn) 出國機(jī)會(huì)

定期/免費(fèi)體檢

競爭力分析

聲明：本站部分公告與職位內(nèi)容由本站根據(jù)官方招聘公告進(jìn)行整理編輯。由于用人單位需求專業(yè)、學(xué)歷學(xué)位、資格條件、職位編制、備注內(nèi)容等內(nèi)容情況復(fù)雜且有變化可能，是否符合招聘條件以用人單位公告為準(zhǔn)或請聯(lián)系用人單位確認(rèn)。本站整理編輯的職位信息僅供求職者參考，如因此造成的損失本站不承擔(dān)任何責(zé)任！

職位詳情

基本信息

職位名稱：特別研究助理（博士后）1-計(jì)算機(jī)重點(diǎn)

職位類型：博士后

工作地點(diǎn)：北京

招聘人數(shù)： 2

報(bào)名方式：網(wǎng)上系統(tǒng),其他

截止時(shí)間：詳見正文

其他要求

學(xué)歷要求：博士研究生

需求專業(yè)：

計(jì)算機(jī)科學(xué)與技術(shù), 軟件工程

該需求專業(yè)僅展示一級學(xué)科

崗位職責(zé)

1. 從事程序驗(yàn)證研究工作，包括約束求解、軟件模型檢測、抽象解釋、符號執(zhí)行等
2. 開發(fā)相關(guān)驗(yàn)證工具
3. 撰寫高水平國際會(huì)議/期刊文章
4. 協(xié)助指導(dǎo)研究生

任職要求

1. 在國際高水平會(huì)議/期刊發(fā)表論文
2. 熟悉編譯原理
3. 熟悉模型檢測、定理證明等形式化驗(yàn)證技術(shù)與工具

其他說明

1．2025年即將出站的博士后和全國重點(diǎn)高校統(tǒng)招統(tǒng)分的2025年應(yīng)屆畢業(yè)生。
2．應(yīng)聘“助理研究員”崗位，須具有不少于1個(gè)聘期的特別研究助理或博士后經(jīng)歷；
應(yīng)聘“特別研究助理”崗位的應(yīng)屆博士畢業(yè)生，將從事科學(xué)研究工作；
應(yīng)聘“工程師”崗位的應(yīng)聘博士畢業(yè)生，將從事工程技術(shù)工作。不具有“特別研究助理”經(jīng)歷的科研人員，原則上不可轉(zhuǎn)為自然科學(xué)研究系列。
3．專業(yè)基礎(chǔ)扎實(shí)，有相關(guān)項(xiàng)目經(jīng)驗(yàn)者優(yōu)先，在重要核心刊物上發(fā)表過論文優(yōu)先，有發(fā)明專利者優(yōu)先。
4．身體健康，積極上進(jìn)，具有良好的道德素質(zhì)、較強(qiáng)的組織協(xié)調(diào)能力和團(tuán)隊(duì)協(xié)作能力。
5．其他應(yīng)聘條件以具體崗位要求為準(zhǔn)（參見附件《中國科學(xué)院軟件研究所2025年度校園招聘崗位信息》）。

競爭力分析

解鎖詳細(xì)分析

您與該職位匹配度: ***，已超過了 *** 的競爭者，建議************

較低

一般

比較匹配

非常匹配

查看其他職位查看公告詳情

歡迎掃描下方二維碼關(guān)注高校人才網(wǎng)官方微信（碩博QQ交流群：867372393 ，進(jìn)微信群請點(diǎn)擊添加官方客服號）

重要風(fēng)險(xiǎn)提示：如招聘單位在招聘過程中向求職者提出收取押金、保證金、體檢費(fèi)、材料費(fèi)、成本費(fèi)，或指定醫(yī)院體檢等，求職者有權(quán)要求招聘單位出具物價(jià)部門批準(zhǔn)的收費(fèi)許可證明材料，若無法提供相關(guān)證明，請求職者提高警惕，有可能屬于詐騙或違規(guī)行為。