（1）后端開發(fā)
1.設計具體項目的架構，對各個服務與中間件進行組織：如設計業(yè)務表單、RPC、緩存、數(shù)據(jù)庫、計算節(jié)點、消息中間件、網(wǎng)關等基礎架構
2.編寫項自的實現(xiàn)與測試，并協(xié)同前端開發(fā)進行調(diào)試與修改
3.發(fā)現(xiàn)業(yè)務的性能關鍵點，設計優(yōu)化方案，并對同一個業(yè)務的不同優(yōu)化方案實現(xiàn)進行性能測試
4.優(yōu)化項目的工作流，編寫項目的自動化與集成設施，確保項目部署運行的可復現(xiàn)性
5.部署項目及其相關基礎設施，提升線上項目的可觀測性與穩(wěn)定性

（2）前端開發(fā)
1.設計與實現(xiàn)和項目相關的網(wǎng)頁、Web應用與內(nèi)部管理頁面
2.實現(xiàn)基于Web技術的富文本集成開發(fā)環(huán)境
3.拓展編輯器的功能：為編輯器提供語言服務器、定義可視化、與項目的其他服務集成等能力；實現(xiàn)主題、鍵位、用戶配置等可用戶自定義功能
4.為項目搭建前端開發(fā)所需要的基礎架構：如優(yōu)化打包流程，部署組件展示與developpreview等
5.為前端系統(tǒng)編寫端到端測試

（3）平面幾何軟件前端開發(fā)
1.開發(fā)平面幾何推理系統(tǒng)網(wǎng)頁版前端，設計用戶交互界面，包含類似Geogebra的作圖部分，和獨立的幾何證明輸入檢驗部分
2.對用戶需求進行總結，并迭代優(yōu)化平面幾何推理軟件功能設計
3.優(yōu)化界面美術設計

（4）平面幾何軟件后端開發(fā)
1.設計實現(xiàn)平面幾何檢驗及自動推理系統(tǒng)，保證代碼實現(xiàn)的可拓展性和可維護性
2.優(yōu)化推理速度，實現(xiàn)高速的平面幾何自動推理
3.優(yōu)化拓展代數(shù)推理系統(tǒng)

（5）平面幾何深度學習算法開發(fā)
1.優(yōu)化平面幾何證明檢驗互動環(huán)境
2.訓練平面幾何證明的深度學習網(wǎng)絡

（1）后端開發(fā)
1.熟悉Rust程序設計語言，熟悉gRPC、JSONRPC、RESTAPI等API設計
2.熟悉網(wǎng)關、緩存中間件、關系式數(shù)據(jù)庫、分析式數(shù)據(jù)庫的部署與使用，并且能針對業(yè)務問題進行性能測試與調(diào)優(yōu)
3.熟悉單元測試、集成測試、分布式一致性測試、性能基準測試的編寫
4.熟悉容器化技術，并且掌握容器的部署、調(diào)度和容器化測試、提升服務可觀測性、provisioning等技能者優(yōu)先
5.熟悉Linux系統(tǒng)，掌握基本的運維技能與服務器管理技能，會編寫交互腳本與構建系統(tǒng)腳本，會編寫CI、CD任務者優(yōu)先

（2）前端開發(fā)
1.熟悉TypeScript程序設計語言，熟悉gRPC、JSONRPC、RESTAPI等API設計，對CSS、HTML有較深的了解
2.熟悉基于Web技術的富文本編輯器開發(fā)
3.有較強的UI、UX設計能力
4.熟悉使用現(xiàn)代React開發(fā)Web應用
5.熟悉有關TypeScript工作流程有關的技術：如monorepo與包管理，開發(fā)環(huán)境與生產(chǎn)環(huán)境的打包、部署，storybook與文檔的自動化、部署，網(wǎng)關與安全連接的配置等
6.熟悉單元測試、集成測試、端到端測試的編寫
7.熟悉協(xié)作編輯器的設計與CRDT等模型/會使用Figma等設計工具/熟悉渲染繪制庫與公式排版技術者優(yōu)先

（3）平面幾何軟件前端開發(fā)
1.熟悉Typescript，Java程序設計語言，熟悉gRPC，JSON RPC或RESTAPI等API設計，對CSS，HTML有較深的了解
2.熟悉使用現(xiàn)代React開發(fā)Web應用
3.了解基于Web技術的富文本編輯器開發(fā)工具鏈
4.有較強的UI，UX設計能力
5.熟悉平面幾何，有數(shù)學競賽經(jīng)歷者優(yōu)先
6.有較強的團隊合作及溝通能力

（4）平面幾何軟件后端開發(fā)
1.熟練使用python，c等編程語言
2.熟悉算法知識，特別是圖論相關算法知識，有算法競賽經(jīng)歷者優(yōu)先
3.有較強的工程實現(xiàn)能力，能閱讀論文快速復現(xiàn)并優(yōu)化其中的算法的能力
4.熟悉平面幾何，有數(shù)學競賽經(jīng)驗者優(yōu)先

（5）平面幾何深度學習算法開發(fā)
1.熟練掌握python
2.有提示詞工程經(jīng)驗，RAG經(jīng)驗
3.有大語言模型部署、微調(diào)經(jīng)驗優(yōu)先；
4.熟悉平面幾何，有競賽經(jīng)歷者優(yōu)先；
5.熟悉常見機器學習、深度學習架構，掌握強化學習優(yōu)先
6.熟悉Lean4，Coq，Isabelle，HOL等形式化語言優(yōu)先
7.熟悉基于語言模型的自動定理證明優(yōu)先

薪酬待遇：面議