職位描述
語(yǔ)音識(shí)別大模型算法人工智能計(jì)算機(jī)軟件
【工作內(nèi)容】
1、使用Lean4形式化數(shù)學(xué)競(jìng)賽題目的解題過(guò)程，確保形式化結(jié)果清晰易懂、符合邏輯并通過(guò)Lean驗(yàn)證
2、學(xué)習(xí)最新形式化方法和工具，提升技能，協(xié)作解決形式化中的技術(shù)難題。
薪資面議，可談
【崗位要求】
1、數(shù)學(xué)/理科相關(guān)專業(yè)優(yōu)先，參加過(guò)數(shù)學(xué)競(jìng)賽且獲獎(jiǎng)?wù)邇?yōu)先;精通初高中數(shù)學(xué)競(jìng)賽知識(shí)和相關(guān)運(yùn)算，成績(jī)優(yōu)異;
2、熟練應(yīng)用Lean數(shù)據(jù)編程語(yǔ)言，能依據(jù)國(guó)際奧賽的解題步驟答案，輸出Lean語(yǔ)言的推理步驟，并驗(yàn)證無(wú)誤;
3、扎實(shí)的數(shù)學(xué)基礎(chǔ)，精通形式化定理證明語(yǔ)言Lean4，具備出色的Lean4編程能力，能夠熟練運(yùn)用Lean4進(jìn)行數(shù)學(xué)定理的形式化工作;
4、優(yōu)先考慮具有以下經(jīng)驗(yàn)者:參與過(guò)形式化證明項(xiàng)目對(duì)Mathlib有commit經(jīng)歷，熟悉Lean語(yǔ)言元編程，具備訓(xùn)練或部署LLM輔助自動(dòng)定理證明的經(jīng)驗(yàn)。
工作地點(diǎn)
松江區(qū)萬(wàn)達(dá)廣場(chǎng)(上海松江店)1
入職公司信息
- 入職公司: 交個(gè)朋友優(yōu)選科技有限公司
- 公司地址: 杭州濱江區(qū)秋溢路601號(hào)5號(hào)樓9層903室交個(gè)朋友優(yōu)選科技有限公司2
- 公司人數(shù): 1000-9999人
認(rèn)證資質(zhì)
人力資源服務(wù)許可認(rèn)證
人力資源服務(wù)許可證是由國(guó)家人力資源與社會(huì)保障相關(guān)部門頒發(fā)，代表人才經(jīng)紀(jì)人所在企業(yè)可以合法開(kāi)展人力資源相關(guān)業(yè)務(wù)的資質(zhì)證件。展示該標(biāo)簽代表該企業(yè)發(fā)布此職位時(shí)已上傳《人力資源服務(wù)許可證》或《人力資源服務(wù)備案證書》并經(jīng)由平臺(tái)審驗(yàn)通過(guò)。
相似職位
上海 - 浦東
上交所技術(shù)有限責(zé)任公司- AI算法工程師面議
上海 - 浦東
恒爍半導(dǎo)體(合肥)股份有限公司 - 算法工程師（交易算法） (MJ000534)1.8-3.5萬(wàn)·16薪
上海 - 徐匯
東方財(cái)富 - 算法工程師2-3.5萬(wàn)·13薪
上海 - 閔行
安徽鴻超領(lǐng)航科技有限公司 - 算法工程師2.2-2.8萬(wàn)·14薪
上海 - 靜安
上海原思標(biāo)物科技有限公司 - 算法研究員（上交大）3-4.5萬(wàn)
上海 - 閔行
科芃智能科技(蘇州)有限公司
熱門公司推薦
- 霸王茶姬招聘
- 肯德基招聘
- 順豐招聘
- 美團(tuán)招聘
- 京東招聘
- 餓了么招聘
- 比亞迪招聘
- 中國(guó)一汽招聘
- 北京汽車招聘
- 蔚來(lái)招聘
- 東風(fēng)汽車招聘
- 長(zhǎng)城汽車招聘
- 奇瑞汽車招聘
- 理想汽車招聘
- 長(zhǎng)鑫存儲(chǔ)招聘
- 天江藥業(yè)招聘
- 藍(lán)月亮招聘
- 安踏招聘
- TCL招聘
- 海信招聘
- 聯(lián)想招聘
- 海康威視招聘
- 寧德時(shí)代招聘
- 中興招聘
- 新松招聘
- 京東方招聘
- 申通招聘
- 圓通招聘
- 中通招聘
- 百世物流招聘
- 德邦物流招聘
- 麥當(dāng)勞招聘
- 星巴克招聘
- 海底撈招聘
- 蜜雪冰城招聘
- 瑞幸招聘
- 雀巢招聘
- 騰訊招聘
- 百度招聘
- 快手招聘
- 字節(jié)跳動(dòng)招聘
- 新華網(wǎng)招聘
- 小米招聘
- 招商銀行招聘
- 中信銀行招聘
- 北京銀行招聘
- 興業(yè)銀行招聘
- 交通銀行招聘
- 建發(fā)集團(tuán)招聘
- 中國(guó)移動(dòng)招聘
- 中國(guó)聯(lián)通招聘
- 中國(guó)電信招聘
- 中糧集團(tuán)招聘
- 國(guó)藥控股招聘
- 中廣核招聘
- 中國(guó)船舶招聘
- 強(qiáng)生中國(guó)招聘
- 匯豐中國(guó)招聘
- 宜家招聘
- 立邦中國(guó)招聘
- 伊利招聘
- 青島啤酒招聘
- 京港地鐵招聘
- 寶馬招聘
- 小鵬汽車招聘
- 華為招聘
- 特斯拉招聘
- 吉利招聘
- 奔馳招聘
- 海爾招聘
- 美的招聘
- 京東方招聘
- 施耐德電氣招聘
- 德邦物流招聘
職位發(fā)布者
丁女士/招聘者
昨日活躍立即溝通
悠派才選(上海)人力資源有限公司
卡思優(yōu)派人力資源集團(tuán)，成立于2007年。集團(tuán)運(yùn)行上海和無(wú)錫雙總部模式，是國(guó)內(nèi)屈指可數(shù)的業(yè)務(wù)涵蓋高端獵頭服務(wù)，白領(lǐng)招聘及外包服務(wù)，藍(lán)領(lǐng)外包服務(wù)及薪酬、人事相關(guān)外包、代理服務(wù)的綜合性人力資源服務(wù)機(jī)構(gòu)。現(xiàn)旗下?lián)碛锌ㄋ极C頭、優(yōu)派外包、優(yōu)派好工作求職連鎖吧等品牌，是長(zhǎng)三角區(qū)域品牌影響力最廣、客戶數(shù)量最多、團(tuán)隊(duì)規(guī)模最大的人力資源服務(wù)機(jī)構(gòu)之一。公司使命致力于“放大人的價(jià)值”，愿景是“成為人才驅(qū)動(dòng)，數(shù)據(jù)驅(qū)動(dòng)，產(chǎn)品驅(qū)動(dòng)，技術(shù)驅(qū)動(dòng)的面向客戶的令人敬仰的組織”，成為中國(guó)招聘與外包領(lǐng)域領(lǐng)先的人力資源服務(wù)商。
公司主頁(yè)