數(shù)學(xué)知識(shí)生成與驗(yàn)證算法軟件工程師

面議

北京博士研究生 1人 2023-11-02發(fā)布查看公告詳情

五險(xiǎn)一金

競(jìng)爭(zhēng)力分析

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

職位詳情

基本信息

職位名稱(chēng)：數(shù)學(xué)知識(shí)生成與驗(yàn)證算法軟件工程師

職位類(lèi)型：技術(shù)支撐崗

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

招聘人數(shù)： 1

報(bào)名方式：電子郵件

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

用人部門(mén)：未來(lái)區(qū)塊鏈與隱私計(jì)算高精尖創(chuàng)新中心

其他要求

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

需求專(zhuān)業(yè)：

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

該需求專(zhuān)業(yè)僅展示一級(jí)學(xué)科

崗位職責(zé)

1、研究數(shù)學(xué)知識(shí)的語(yǔ)義表示和形式化規(guī)約，設(shè)計(jì)、開(kāi)發(fā)幾何知識(shí)的形式化規(guī)約語(yǔ)言，構(gòu)建形式化幾何知識(shí)庫(kù)，實(shí)現(xiàn)幾何等數(shù)學(xué)知識(shí)的自動(dòng)生成和形式化驗(yàn)證；
2、研究特定數(shù)學(xué)語(yǔ)言模型與大語(yǔ)言模型的交互，設(shè)計(jì)、構(gòu)建語(yǔ)言交互平臺(tái)，實(shí)現(xiàn)通用知識(shí)和特定領(lǐng)域知識(shí)的融合，提高生成式人工智能的精準(zhǔn)度和可解釋性；
3、研究數(shù)學(xué)學(xué)習(xí)模型和數(shù)學(xué)符號(hào)語(yǔ)言的語(yǔ)義特征，以符號(hào)演算和邏輯推理為基礎(chǔ)，建立數(shù)學(xué)知識(shí)獲取、發(fā)現(xiàn)、生成、驗(yàn)證的啟發(fā)式強(qiáng)化學(xué)習(xí)機(jī)制、學(xué)習(xí)環(huán)境和實(shí)驗(yàn)平臺(tái)。

任職要求

1、博士學(xué)歷；計(jì)算機(jī)/軟件工程/數(shù)學(xué)等相關(guān)專(zhuān)業(yè)；
2、2年以上工作經(jīng)驗(yàn)者優(yōu)先；
3、熟練掌握C++、Python等編程語(yǔ)言；
4、有開(kāi)源項(xiàng)目開(kāi)發(fā)經(jīng)驗(yàn)優(yōu)先，近五年發(fā)表、出版過(guò)具有影響力的學(xué)術(shù)論文不少于3篇；
5、具有良好的語(yǔ)言表達(dá)能力，富有團(tuán)隊(duì)協(xié)作精神；專(zhuān)業(yè)務(wù)實(shí)，踏實(shí)肯干，樂(lè)于奉獻(xiàn)，責(zé)任心強(qiáng)。

其他說(shuō)明

有意者請(qǐng)將個(gè)人簡(jiǎn)歷（應(yīng)包含個(gè)人信息、教育及工作經(jīng)歷、主要業(yè)績(jī)成果、近期照片等）和學(xué)歷學(xué)位證書(shū)掃描件等電子材料發(fā)送至招聘郵箱：gjjzx@buaa.edu.cn（郵件標(biāo)題及簡(jiǎn)歷標(biāo)題請(qǐng)注明：應(yīng)聘崗位-姓名-高校人才網(wǎng)）；

競(jìng)爭(zhēng)力分析

解鎖詳細(xì)分析

您與該職位匹配度: ***，已超過(guò)了 *** 的競(jìng)爭(zhēng)者，建議************

較低

一般

比較匹配

非常匹配

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

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

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