1. 岗位职责
（1） 协助设计面向复杂系统的结构化知识表示框架；
（2） 利用基础建模推理、LLM大模型等工具，记录并实现建模假设与设计过程；
（3） 应用形式化方法（如模态逻辑、逻辑建模）提升系统可靠性；
（4） 将开放问题转化为形式化模型；
（5） 能借助工具辅助推进模块需求分析、架构设计、编码实现、上线运维、效果验证全流程。

2. 能力要求
（1） 具有较强的学习能力、领会理解能力、沟通表达能力；
（2） 能从模糊问题中提炼出规则、约束和状态关系；
（3） 习惯用逻辑、集合或图思考世界，而非仅靠数据；
（4） 对“机器如何真正推理”充满好奇；
（5） 要求清晰的抽象思维与动手验证能力。

3. 技能要求
（1） 了解Python、Protege或图数据库（如GraphDB、Neo4j等）的一种或几种，掌握使用工具分析、解决现实问题；
（2） 具备数理逻辑、图论或离散数学基础，有对现实世界进行抽象的思维；
（3） 有数学建模竞赛或者参与过类似项目经验者优先。

4. 工作经验要求
工作经验1年以上；

5. 其它要求
（1） 本科及以上学历；
（2） 计算机、数学、人工智能、逻辑学等相关专业；
（3） 年龄30岁以下。

驻地：北京

职位福利：五险一金、绩效奖金、餐补、通讯补助、带薪年假、节日福利