职位描述
岗位职责
- 扩展表示主张、证据、论证结构与置信度的本体论和知识图谱模式
- 实现可废止论证框架(如 ASPIC+、Dung 风格),捕捉逻辑结构及其易受反驳性
- 运行并质检 LLM 驱动的论证填充流水线,设计交叉验证与人在回路审核机制
- 构建将结构化论证导出为面向不同受众的传播格式的流水线
任职要求
- 熟悉形式化或半形式化的论证理论,包括抽象或结构化论证、可废止推理、辩证模型或论证图式
- 具备本体工程或知识图谱开发经验(OWL/RDF、属性图或等效技术)
- 有 LLM 智能体系统的实操经验:协调平台、规模化提示工程与输出质检机制
- 具备 AI 安全、AI 治理与前沿 AI 动态知识,且编码能力佳,熟悉图数据库或查询语言
- 自驱力强,书面沟通能力出色
加分项
- 具有论证理论、计算论证、认识论或科学哲学的硕博背景或同等深度
- 熟悉 AIF、Carneades 或其他计算论证工具
- 有 AI 安全或治理领域成果(论文、政策工作或实质性社区贡献)
其他说明
该职位 100% 远程,需偶尔出差;非美国候选人可作为独立承包商参与,无法协助办理签证。