课题组简介
东莞市大湾区高等研究院智能计算研究中心主要从事新一代人工智能与数学相结合的理论、算法与应用研究，打造“人工智能+数学理论与计算”的新范式。中心采用主任负责制，为独立运行的科研实体。
文再文教授Aifor Mathematics研究组关注人工智能技术与数学形式化在数学研究和教学中的应用。研究方向包括但不限于基于人工智能技术的Lean4数学自动形式化、基于人工智能技术的Lean4辅助工具开发、应用人工智能技术的Lean4集成开发教学环境的开发、在Lean4实现最优化相关教材的形式化等。
根据中心建设与科学研究需要，实现研究成果的实现与落地，公开招聘研究助理3名。
研究助理
一、岗位职责
岗位1：算法研究助理1名
负责提升大语言模型在数学推理任务上的表现（包括数据收集与合成、模型的指令微调、强化学习训练等工作）；负责大模型的高效部署及维护，优化推理性能，确保系统稳定运行；与数学领域专家紧密协作，设计并实现高可靠性的专业领域智能体。
岗位2：后端开发研究助理1名
设计具体项目的架构，对各个服务与中间件进行组织：如设计业务表单、RPC、缓存、数据库、计算节点、消息中间件、网关等基础架构；编写项自的实现与测试，并协同前端开发进行调试与修改；优化项目的工作流，编写项目的自动化与集成设施，确保项目部署运行的可复现性；部署项目及其相关基础设施，提升线上项目的可观测性与稳定性。
岗位3：前端开发研究助理1名
设计与实现和项目相关的网页、Web应用与内部管理页面；实现基于Web技术的富文本集成开发环境；拓展编辑器的功能：为编辑器提供语言服务器、定义可视化、与项目的其他服务集成等能力；实现主题、键位、用户配置等可用户自定义功能；为项目搭建前端开发所需要的基础架构：如优化打包流程，部署组件展示与developpreview等；为前端系统编写端到端测试。
二、任职条件
1.具备正常履行职责的身体素质和心理素质，较好的意志品质与承压能力，可全职在岗。工作认真负责，积极主动，有较强的团队协作精神。
2.数学、计算机或相关专业硕士及以上学历学位。
3.算法研究助理：具备扎实的编程基础，有优秀的工程能力（熟悉pytorch框架）；熟悉大语言模型的基本架构，预训练和后训练的基本原理具；对大模型相关研究前沿进展比较熟悉；能够理解业务需求，具备与跨领域专家（计算机、工程、数学）有效沟通与协作的能力。
满足以下一项或者多项的候选人优先：具备大语言模型后训练和部署实战经验；熟悉模型压缩与推理加速技术；有垂直领域智能体设计与开发经验；了解形式化验证系统原理与应用；对特定数学领域有专业级理解与研究；有顶会paper。
后端开发研究助理：熟悉Rust程序设计语言，熟悉gRPC、JSONRPC、RESTAPI等API设计；熟悉网关、缓存中间件、关系式数据库、分析式数据库的部署与使用，并且能针对业务问题进行性能测试与调优；熟悉网关、缓存中间件、关系式数据库、分析式数据库的部署与使用，并且能针对业务问题进行性能测试与调优；熟悉容器化技术，并且掌握容器的部署、调度和容器化测试、提升服务可观测性、provisioning等技能者优先；熟悉Linux系统，掌握基本的运维技能与服务器管理技能，会编写交互脚本与构建系统脚本，会编写CI、CD任务者优先。
前端开发研究助理：熟悉TypeScript程序设计语言，熟悉gRPC、JSONRPC、RESTAPI等API设计，对CSS、HTML有较深的了解；熟悉基于Web技术的富文本编辑器开发；熟悉使用现代React开发Web应用；熟悉有关TypeScript工作流程有关的技术：如monorepo与包管理，开发环境与生产环境的打包、部署，storybook与文档的自动化、部署，网关与安全连接的配置等；熟悉协作编辑器的设计与CRDT等模型/熟悉渲染绘制库与公式排版技术者优先。
三、薪酬待遇
1.根据项目执行期签订劳动合同，年薪制聘用；
2.提供具有竞争力的薪酬待遇以及科研条件，具体待遇面议；
3.按东莞市规定购买社会保险和住房公积金。
四、应聘方式
请将应聘材料，按照“姓名-岗位名称”的方式命名发送至邮箱（点击查看），应聘材料包含：1.个人完整简历（含近期照片）及学历学位等有关证明材料；2.其他可证明匹配岗位的支撑材料（含科研成果等）。
招聘长期有效，招满即止。
信息来源于网络，如有变更请以原发布者为准。
微信客服赵老师 ：15201695861
更多招聘信息请关注高层次教师招聘网公众号（智联宏祥信息引进网）
