国产精品又长又粗又爽又黄的毛片, 国产AV无码专区亚洲AV毛片搜, 丰满人妻被猛烈进入中文字幕四川, 国产精品一区二区三区国产女人喷,亚洲国产欧美日韩图片在线人,潘娇娇337p人艺体艺术,成人免费无码大片a毛片古装,一本到高清视频免费,人妻在线视频免费看

崗位職責(zé)：
1、進(jìn)行形式化方法、程序驗(yàn)證與AI相關(guān)的前沿技術(shù)創(chuàng)新探索與產(chǎn)品的研發(fā)工作；
2、在技術(shù)專家指導(dǎo)下完成軟件產(chǎn)品的設(shè)計，制定研發(fā)方案，解決關(guān)鍵技術(shù)問題；
3、牽頭申請科研課題，完成科研項(xiàng)目。

任職要求：
1、博士，計算機(jī)軟件相關(guān)專業(yè)，數(shù)學(xué)、計算機(jī)科學(xué)、人工智能等方向優(yōu)先；
2、能夠使用Coq等對操作系統(tǒng)的關(guān)鍵模塊進(jìn)行深度形式化驗(yàn)證；
3、具備扎實(shí)的專業(yè)基礎(chǔ)知識，理解形式語義、邏輯系統(tǒng)、程序驗(yàn)證的基本原理；能夠?qū)⑾到y(tǒng)行為抽象為可驗(yàn)證的數(shù)學(xué)模型，并設(shè)計合理的驗(yàn)證規(guī)范與不變式；
4、有作為骨干參與國家級科研項(xiàng)目經(jīng)驗(yàn)，能夠申請、組織開展科研項(xiàng)目；
5、具有很好的英文文獻(xiàn)閱讀功底，良好的溝通管理能力，以及團(tuán)隊意識和合作精神。