青雪故事,星光影院,天天躁夜夜躁狠狠综合,亚洲精品久久久久久久

^{<blockquote id="crhue"></blockquote>}

操作系統驗證助理工程師1-計算機重點

面議

北京碩士研究生 1人 2025-01-06發布查看公告詳情

落戶辦理帶薪年假專業培訓出國機會

定期/免費體檢

競爭力分析

查看公告詳情

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

職位詳情

基本信息

職位名稱：操作系統驗證助理工程師1-計算機重點

職位類型：其他科研支撐崗

工作地點：北京

招聘人數： 1

報名方式：網上系統,其他

截止時間：詳見正文

其他要求

學歷要求：碩士研究生

需求專業：

計算機科學與技術, 軟件工程

該需求專業僅展示一級學科

崗位職責

1. 使用約束求解、定理證明等技術進行操作系統驗證
2. 開發相關驗證工具

任職要求

1、熟悉Linux或歐拉等相關開源操作系統的內核架構與工作原理，并具有相關開發經驗；
2、熟練掌握C/C++編程，了解匯編語言，具備出色的編程和調試能力；
3、具有優秀的問題分析與解決能力，具備在大型/復雜軟件系統中快速定位并解決問題的能力；
4、擁有良好的溝通能力和團隊合作精神，能夠與研究團隊密切合作；
5、具備良好的英文讀寫能力，能熟練閱讀和撰寫技術文檔，具備基本的英語交流能力；
6、具備形式化驗證、軟件測試、系統安全、或RISC-V相關經驗者優先；有大型開源軟件開發經驗者優先；具備軟件高安全等級認證經驗者優先。

其他說明

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

競爭力分析

解鎖詳細分析

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

較低

一般

比較匹配

非常匹配

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

歡迎掃描下方二維碼關注高校人才網官方微信（碩博QQ交流群：1015865503 ，進微信群請加：gzgxrcw06）