北京国际数学研究中心肖梁/文再文项目组面向校内外招聘实习生若干名，具体岗位职责及应聘条件如下：

岗位一：

平面几何软件前端开发研究助理

【岗位职责】

•开发平面几何推理系统网页版前端，设计用户交互界面，包含类似Geogebra的作图部分，和独立的几何证明输入检验部分

•对用户需求进行总结，并迭代优化平面几何推理软件功能设计

•优化界面美术设计

【应聘条件】

•熟悉Typescript，Java程序设计语言，熟悉gRPC，JSON RPC或REST API等API设计，对CSS，HTML有较深的了解

•熟悉使用现代React开发Web应用

•了解基于Web技术的富文本编辑器开发工具链

•有较强的UI，UX设计能力

•熟悉平面几何，有数学竞赛经历者优先

•有较强的团队合作及沟通能力

岗位二：

平面几何软件后端开发研究助理

【岗位职责】

•设计实现平面几何检验及自动推理系统，保证代码实现的可拓展性和可维护性

•优化推理速度，实现高速的平面几何自动推理

•优化拓展代数推理系统 

【应聘条件】

•熟练使用python，c等编程语言

•熟悉算法知识，特别是图论相关算法知识，有算法竞赛经历者优先

•有较强的工程实现能力，能阅读论文快速复现并优化其中的算法的能力

•熟悉平面几何，有数学竞赛经验者优先

岗位三：

平面几何深度学习算法开发研究助理

【岗位职责】

•优化平面几何证明检验互动环境

•训练平面几何证明的深度学习网络

【应聘条件】

•熟练掌握python

•有提示词工程经验，RAG经验；

•有大语言模型部署、微调经验优先；

•熟悉平面几何，有竞赛经历者优先；

•熟悉常见机器学习、深度学习架构，掌握强化学习优先；

•熟悉Lean4，Coq，Isabelle，HOL等形式化语言优先；

•熟悉基于语言模型的自动定理证明优先

【工作时间】

即日起，至少为期6个月，预计每周最低工作量为8-10小时。

【岗位说明】

1. 提供有竞争力的劳动报酬，将根据工作时间与质量进行调整，与工作量成正比。表现优秀的研究助理有机会获得项目组PI的升学、求职推荐信。

2. 请有意申请者发送简历到将个人简历等相关应聘材料打包发送至邮箱：liruixin@bicmr.pku.edu.cn（邮件标题：岗位名称+姓名+学校+年级+专业），并在邮件正文中注明本学期一周内可以参与工作的时间段。

北京国际数学研究中心主页：bicmr.pku.edu.cn

北京大学北京国际数学研究中心

2024年3月29日