首页>>企业招聘信息

10000元以上

符号推理工程师

科伊思(杭州)人工智能科技有限公司

发布时间:2025-10-23浏览量:54

  • 工作地域:天津市 / 浙江省 / 广东省
  • 职位类别:工程技术人员
  • 学历要求:硕士
  • 招聘人数: -
专业要求:
1.专业背景:计算机、人工智能、自动化等相关专业。
2.学历要求:硕士学历及以上;本科学历如有优秀项目经验也可接受。
3.工作经验:至少 2 年相关项目经验,有重要项目突破经历可放宽至 1 年。
4.技能要求:具备逻辑、形式方法、知识表示或符号人工智能相关项目经验,熟悉知识表示与逻辑推理,掌握一阶逻辑、描述逻辑(DL)、本体(Ontology)构建与 OWL 等标准;擅长符号推理引擎与工具(如 Prolog、Drools 等);掌握图数据库与查询(如 Neo4j 等),并能熟练使用 SPARQL 或 Cypher 进行知识检索;精通至少一种后端开发语言(Python/Java/Scala 等)。

在招聘过程中,用人单位若提出需要长时间培训,签约前长时间实习、收取培训费、扣押证件等不合理要求时,应慎重考虑并及时向学院或就业指导中心反映。联系电话:60600324

职位描述:

1.负责符号推理框架与系统整体架构设计,制定推理引擎选型与集成方案,使得符号推理引擎与神经输出集成,确保一致性、合理性及可靠性。

2.根据业务场景(如问答、推荐、决策支持)构建知识本体、逻辑规则与策略。

3.设计并实现知识抽取、融合、校验与更新流程,保证知识库一致性和可维护性。

4.开发与优化推理管道,解决大规模知识图谱的查询性能与推理效率问题。

5.研究并推动神经 - 符号协同方法,将符号知识与深度模型结合提升系统能力。

6.搭建监控与反馈机制,跟踪推理结果的质量,持续进行规则迭代与版本管理。

7.撰写技术文档、示例与接入指南,支持应用团队或外部客户使用推理服务。

8.与安全与合规团队合作,确保推理系统的访问控制、审计和隐私保护机制。

9.将领域知识编码为逻辑约束和约束求解器。

10.开发 PINN、PIML、FNO 等多种机器学习模型结合强化学习用于特定应用场景。


投递简历