性按摩无码中文久久久久|日韩性生活黄片一级免费看|免费网址福利导航|99国产无码不卡靠逼永久视频|欧美视频在线二三区四区|丁香婷婷五月色成人网站|日韩特级毛片国产一级AV片|中文字幕无码人妻在线观|狼友在线一二三四五六七八区|黄色网址在线观看免费视频

薪資面議，可談 ！ 【崗位要求】 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)。