職位描述
通信算法自然語言處理LEAN4計算機軟件
工作內容】
使用Lean4形式化數(shù)學競賽題目的解題過程
- 負責使用Lean語言進行算法開發(fā)與優(yōu)化；
- 設計并實現(xiàn)高效的算法解決方案，以滿足業(yè)務需求；
【任職要求】
- 擁有計算機科學或相關領域的本科學歷；
- 至少1年以上的編程經驗，熟悉Lean語言及其開發(fā)環(huán)境；
- 具備扎實的算法基礎，能夠獨立設計和實現(xiàn)高效算法；
- 具備優(yōu)秀的溝通協(xié)調能力，能適應遠程居家辦公的工作模式；
居家辦公，時間自由
按件計薪
查看全部
工作地點
未央區(qū)西安市人民政府1
入職公司信息
- 入職公司: 北京芙睿特無限科技發(fā)展有限公司
- 公司地址: 北京海淀區(qū)上地西路8號上地西路8號院2號樓B405
- 公司人數(shù): 100-299人
認證資質
人力資源服務許可認證
人力資源服務許可證是由國家人力資源與社會保障相關部門頒發(fā)，代表人才經紀人所在企業(yè)可以合法開展人力資源相關業(yè)務的資質證件。展示該標簽代表該企業(yè)發(fā)布此職位時已上傳《人力資源服務許可證》或《人力資源服務備案證書》并經由平臺審驗通過。
相似職位
- CAM算法工程師1.8-2.4萬
西安 - 碑林
陜西空天信息技術有限公司 - 算法開發(fā)工程師1-1.3萬
西安 - 未央
陜西宏達天源生物化工有限公司 - 功率預測算法工程師2-2.5萬
西安 - 長安
龍源(北京)新能源工程技術有限公司 - 算法工程師1.8-3萬
西安 - 長安
西安中科立德紅外科技有限公司 西安 - 未央
聯(lián)通數(shù)字科技有限公司- 衛(wèi)星任務規(guī)劃算法工程師2-3.5萬
西安 - 長安
浙江時空道宇科技有限公司上海分公司
熱門公司推薦
- 霸王茶姬招聘
- 肯德基招聘
- 順豐招聘
- 美團招聘
- 京東招聘
- 餓了么招聘
- 比亞迪招聘
- 中國一汽招聘
- 北京汽車招聘
- 蔚來招聘
- 東風汽車招聘
- 長城汽車招聘
- 奇瑞汽車招聘
- 理想汽車招聘
- 長鑫存儲招聘
- 天江藥業(yè)招聘
- 藍月亮招聘
- 安踏招聘
- TCL招聘
- 海信招聘
- 聯(lián)想招聘
- 海康威視招聘
- 寧德時代招聘
- 中興招聘
- 新松招聘
- 京東方招聘
- 申通招聘
- 圓通招聘
- 中通招聘
- 百世物流招聘
- 德邦物流招聘
- 麥當勞招聘
- 星巴克招聘
- 海底撈招聘
- 蜜雪冰城招聘
- 瑞幸招聘
- 雀巢招聘
- 騰訊招聘
- 百度招聘
- 快手招聘
- 字節(jié)跳動招聘
- 新華網招聘
- 小米招聘
- 招商銀行招聘
- 中信銀行招聘
- 北京銀行招聘
- 興業(yè)銀行招聘
- 交通銀行招聘
- 建發(fā)集團招聘
- 中國移動招聘
- 中國聯(lián)通招聘
- 中國電信招聘
- 中糧集團招聘
- 國藥控股招聘
- 中廣核招聘
- 中國船舶招聘
- 強生中國招聘
- 匯豐中國招聘
- 宜家招聘
- 立邦中國招聘
- 伊利招聘
- 青島啤酒招聘
- 京港地鐵招聘
- 寶馬招聘
- 小鵬汽車招聘
- 華為招聘
- 特斯拉招聘
- 吉利招聘
- 奔馳招聘
- 海爾招聘
- 美的招聘
- 京東方招聘
- 施耐德電氣招聘
- 德邦物流招聘
職位發(fā)布者
黃潔/HR
當前在線立即溝通
悠派才選(上海)人力資源有限公司
卡思優(yōu)派人力資源集團，成立于2007年。集團運行上海和無錫雙總部模式，是國內屈指可數(shù)的業(yè)務涵蓋高端獵頭服務，白領招聘及外包服務，藍領外包服務及薪酬、人事相關外包、代理服務的綜合性人力資源服務機構?，F(xiàn)旗下?lián)碛锌ㄋ极C頭、優(yōu)派外包、優(yōu)派好工作求職連鎖吧等品牌，是長三角區(qū)域品牌影響力最廣、客戶數(shù)量最多、團隊規(guī)模最大的人力資源服務機構之一。公司使命致力于“放大人的價值”，愿景是“成為人才驅動，數(shù)據(jù)驅動，產品驅動，技術驅動的面向客戶的令人敬仰的組織”，成為中國招聘與外包領域領先的人力資源服務商。
公司主頁