数学知识生成与验证算法软件工程师

面议

北京博士研究生 1人 2023-11-02发布查看公告详情

五险一金

竞争力分析

声明：本站部分公告与职位内容由本站根据官方招聘公告进行整理编辑。由于用人单位需求专业、学历学位、资格条件、职位编制、备注内容等内容情况复杂且有变化可能，是否符合招聘条件以用人单位公告为准或请联系用人单位确认。本站整理编辑的职位信息仅供求职者参考，如因此造成的损失本站不承担任何责任！

职位详情

基本信息

职位名称：数学知识生成与验证算法软件工程师

职位类型：技术支撑岗

工作地点：北京

招聘人数： 1

报名方式：电子邮件

截止时间：详见正文

用人部门：未来区块链与隐私计算高精尖创新中心

其他要求

学历要求：博士研究生

需求专业：

数学, 计算机科学与技术, 软件工程

该需求专业仅展示一级学科

岗位职责

1、研究数学知识的语义表示和形式化规约，设计、开发几何知识的形式化规约语言，构建形式化几何知识库，实现几何等数学知识的自动生成和形式化验证；
2、研究特定数学语言模型与大语言模型的交互，设计、构建语言交互平台，实现通用知识和特定领域知识的融合，提高生成式人工智能的精准度和可解释性；
3、研究数学学习模型和数学符号语言的语义特征，以符号演算和逻辑推理为基础，建立数学知识获取、发现、生成、验证的启发式强化学习机制、学习环境和实验平台。

任职要求

1、博士学历；计算机/软件工程/数学等相关专业；
2、2年以上工作经验者优先；
3、熟练掌握C++、Python等编程语言；
4、有开源项目开发经验优先，近五年发表、出版过具有影响力的学术论文不少于3篇；
5、具有良好的语言表达能力，富有团队协作精神；专业务实，踏实肯干，乐于奉献，责任心强。

其他说明

有意者请将个人简历（应包含个人信息、教育及工作经历、主要业绩成果、近期照片等）和学历学位证书扫描件等电子材料发送至招聘邮箱：gjjzx@buaa.edu.cn（邮件标题及简历标题请注明：应聘岗位-姓名-高校人才网）；

竞争力分析

解锁详细分析

您与该职位匹配度: ***，已超过了 *** 的竞争者，建议************

较低

一般

比较匹配

非常匹配

查看其他职位查看公告详情

欢迎扫描下方二维码关注高校人才网官方微信（硕博QQ交流群：1015865503 ，进微信群请加：gzgxrcw06）

重要风险提示：如招聘单位在招聘过程中向求职者提出收取押金、保证金、体检费、材料费、成本费，或指定医院体检等，求职者有权要求招聘单位出具物价部门批准的收费许可证明材料，若无法提供相关证明，请求职者提高警惕，有可能属于诈骗或违规行为。