職位描述
深度學(xué)習(xí)機(jī)器學(xué)習(xí)LEAN計算機(jī)軟件在線教育
職位描述
- 使用Lean4語言將數(shù)學(xué)競賽題目轉(zhuǎn)化為形式化證明
- 按項目要求完成解題過程的形式化驗證
- 參與數(shù)學(xué)命題的計算機(jī)輔助推導(dǎo)工作
- 數(shù)學(xué)/計算機(jī)/邏輯學(xué)等相關(guān)專業(yè)本科及以上學(xué)歷
- 熟悉Lean4語言或具備定理證明器使用經(jīng)驗
- 能獨(dú)立完成數(shù)學(xué)命題的形式化轉(zhuǎn)換
- 985學(xué)歷優(yōu)先，研究生 薪資敞開了談，居家兼職
工作地點
北京海淀區(qū)清華大學(xué)1
入職公司信息
- 入職公司: 華海清科（北京）科技有限公司
- 公司地址: 北京市通州區(qū)馬駒橋鎮(zhèn)小古二路15號華海清科華海清科(北京)科技有限公司南門
- 公司人數(shù): 100-299人
認(rèn)證資質(zhì)
人力資源服務(wù)許可認(rèn)證
人力資源服務(wù)許可證是由國家人力資源與社會保障相關(guān)部門頒發(fā)，代表人才經(jīng)紀(jì)人所在企業(yè)可以合法開展人力資源相關(guān)業(yè)務(wù)的資質(zhì)證件。展示該標(biāo)簽代表該企業(yè)發(fā)布此職位時已上傳《人力資源服務(wù)許可證》或《人力資源服務(wù)備案證書》并經(jīng)由平臺審驗通過。
相似職位
- 醫(yī)學(xué)領(lǐng)域大模型研究應(yīng)用工程師150-200元/天
北京 - 豐臺
首都醫(yī)學(xué)科學(xué)創(chuàng)新中心 - 控制算法工程師2-3萬
北京 - 通州
北京博科測試系統(tǒng)股份有限公司 - ASR算法工程師3.5-5萬
北京 - 朝陽
東風(fēng)汽車 - 算法工程師2-4萬
北京 - 海淀
中車長春軌道客車股份有限公司 北京 - 通州
新華人壽保險股份有限公司- 算法工程師面議
北京 - 昌平
中移金科
熱門公司推薦
- 霸王茶姬招聘
- 肯德基招聘
- 順豐招聘
- 美團(tuán)招聘
- 京東招聘
- 餓了么招聘
- 比亞迪招聘
- 中國一汽招聘
- 北京汽車招聘
- 蔚來招聘
- 東風(fēng)汽車招聘
- 長城汽車招聘
- 奇瑞汽車招聘
- 理想汽車招聘
- 長鑫存儲招聘
- 天江藥業(yè)招聘
- 藍(lán)月亮招聘
- 安踏招聘
- TCL招聘
- 海信招聘
- 聯(lián)想招聘
- ?？低曊衅?/a>
- 寧德時代招聘
- 中興招聘
- 新松招聘
- 京東方招聘
- 申通招聘
- 圓通招聘
- 中通招聘
- 百世物流招聘
- 德邦物流招聘
- 麥當(dāng)勞招聘
- 星巴克招聘
- 海底撈招聘
- 蜜雪冰城招聘
- 瑞幸招聘
- 雀巢招聘
- 騰訊招聘
- 百度招聘
- 快手招聘
- 字節(jié)跳動招聘
- 新華網(wǎng)招聘
- 小米招聘
- 招商銀行招聘
- 中信銀行招聘
- 北京銀行招聘
- 興業(yè)銀行招聘
- 交通銀行招聘
- 建發(fā)集團(tuán)招聘
- 中國移動招聘
- 中國聯(lián)通招聘
- 中國電信招聘
- 中糧集團(tuán)招聘
- 國藥控股招聘
- 中廣核招聘
- 中國船舶招聘
- 強(qiáng)生中國招聘
- 匯豐中國招聘
- 宜家招聘
- 立邦中國招聘
- 伊利招聘
- 青島啤酒招聘
- 京港地鐵招聘
- 寶馬招聘
- 小鵬汽車招聘
- 華為招聘
- 特斯拉招聘
- 吉利招聘
- 奔馳招聘
- 海爾招聘
- 美的招聘
- 京東方招聘
- 施耐德電氣招聘
- 德邦物流招聘
職位發(fā)布者
田女士/招聘主管
昨日活躍立即溝通
悠派才選(上海)人力資源有限公司
卡思優(yōu)派人力資源集團(tuán)，成立于2007年。集團(tuán)運(yùn)行上海和無錫雙總部模式，是國內(nèi)屈指可數(shù)的業(yè)務(wù)涵蓋高端獵頭服務(wù)，白領(lǐng)招聘及外包服務(wù)，藍(lán)領(lǐng)外包服務(wù)及薪酬、人事相關(guān)外包、代理服務(wù)的綜合性人力資源服務(wù)機(jī)構(gòu)?，F(xiàn)旗下?lián)碛锌ㄋ极C頭、優(yōu)派外包、優(yōu)派好工作求職連鎖吧等品牌，是長三角區(qū)域品牌影響力最廣、客戶數(shù)量最多、團(tuán)隊規(guī)模最大的人力資源服務(wù)機(jī)構(gòu)之一。公司使命致力于“放大人的價值”，愿景是“成為人才驅(qū)動，數(shù)據(jù)驅(qū)動，產(chǎn)品驅(qū)動，技術(shù)驅(qū)動的面向客戶的令人敬仰的組織”，成為中國招聘與外包領(lǐng)域領(lǐng)先的人力資源服務(wù)商。
公司主頁